Template:Binary subgroup property operator

This is a binary subgroup property operator, viz an operator that takes as input two subgroup properties, and outputs one subgroup property