Category:Subgroup property dissatisfactions for subgroup-defining functions