===== Magma =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $M$ ... set |
| @#FFBB00: definiendum | @#FFBB00: $ \langle\!\langle M,* \rangle\!\rangle \in$ magma |
| @#AAFFAA: inclusion   | @#AAFFAA: $* \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: [[http://en.wikipedia.org/wiki/Magma_%28algebra%29|Magma]]

-----
=== Equivalent to ===
[[Binary operation]]