This is an old revision of the document!
Magma
Set
| context | $M$ |
| definiendum | $ \langle M,* \rangle \in \text{Magma}(M)$ |
| postulate | $*$ … binary operation |
Elaboration
The binary operation is often called multiplication.
The axioms
$*\in \mathrm{BinaryOp}(M)$
above means that a magma is closed with respect to the multiplication.
One generally calls $M$ the Magma, i.e. the set where the operation “$*$” is defined on.
Reference
Wikipedia: Magma
Equivalent to
