Magma (algebra)
= 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>.