Category:Conjunctions of group property on ambient group with subgroup property