Template:Binary operation property

From Groupprops

This article defines a property of binary operations (and hence, of magmas)