Magma
Set
| context | $M$ … set |
| definiendum | $ \langle\!\langle M,* \rangle\!\rangle \in$ magma |
| inclusion | $* \in$ binary operation (M) |
Elaboration
The binary operation is often called multiplication.
The axiom '$* \in$ binary operation (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
