A binary operation * on a set S is associative if, for all x, y and z in S, (x * y) * z = x * (y * z).

A set with an associative binary operation on it is called a semigroup.