subcategories-0.2.1.1: Subcategories induced by class constraints