Template:Binary group property operator

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