CatGloss
This leads us to the categorial versions of subsets