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.
This algebra-related article contains minimal information concerning its topic. You can help the Mathematics Wikia by adding to it.