Associativity

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

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

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