nLab
commutative magma

Definition

A magma $(S,\cdot)$ is called commutative if its binary operation $(-)\cdot(-) \colon S \times S$ has the property that for all $x,y \in S$ then

$$x \cdot y = y \cdot x \,.$$

Examples

Examples include commutative monoids, abelian groups, commutative rings, commutative algebras etc.