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:

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

Community content is available under CC-BY-SA unless otherwise noted.