:Category:Properties of binary operations