Definition 2.5.7.  Let M be a monoid. We define
M is commutative
by:
[M, , e] is commutative  :⇔   is commutative  (M is a set, :M × M → M is an operation on M, e ∈ M such that (M, , e) forms a monoid)
References.