Monoid
monoid=magma+associativity+identity
Magma
A magma is a set M matched with an operation • that sends any two elements a, b ∈ M to another element, a • b ∈ M, i.e. \((M,\cdot)\) is a magma, if
$$
\forall a,b \in M, a \cdot b \in M
$$
monoid=magma+associativity+identity
A magma is a set M matched with an operation • that sends any two elements a, b ∈ M to another element, a • b ∈ M, i.e. \((M,\cdot)\) is a magma, if