A binary operation ${\displaystyle *}$ on a set S is said to be associative if changing the order of the operations performed does not change the result:

${\displaystyle \forall x,y,z \in S: (x * y) * z = x * (y * z) \,}$

A magma (M,*) is a semigroup if * is associative.