Magma

A magma is defined over a set \(S\) and a Binary Operation \(\cdot: S\times S \rightarrow S\).