Template:Binary operation property

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