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

Binary operation