## FANDOM

1,022 Pages

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.