Magma (algebra) (source code)

= Magma
{disambiguate=algebra}
{title2=$(S,\ast)$}
{wiki}

= Algebraic magma
{synonym}

An <algebraic magma> is a <set> equipped with a <binary operation>. No <associative property>, <commutativity>, or <identity element> is required. A <semigroup> adds the <associative property>; a <monoid> also adds an <identity element>.