So, if we label the set of all shaving smoothness's S, we have that DBBS \subset XBBS \subset ABBS \subset S?

I like it! You need a Venn diagram.

James.