Commutative magma

Definition
A magma $$(S,*)$$ is termed a commutative magma (or sometimes abelian magma) if it satisfies commutativity, i.e., the following holds:

$$x * y = y * x \ \forall \ x,y \in S$$.