an infinite series A semigroup is a set with an associative binary operation. Commutativity and distributivity are two other frequently discussed properties of binary operations. Power associativity, alternativity, flexibility and N-ary associativity are weak forms of associativity. Moufang identities also provide a weak form of associativity. References Properties of binary operations Elementary algebra Functional analysis Rules of inference