Category:Binary subgroup property operators