Definition 2.3.5.  Let M be a magma. We define
M is commutative
by:
[M, ∗] is commutative  :⇔  ∗ is commutative  (M is a set, ∗ : M × M → M is an operation on M)
References.