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