In abstract algebra, a magma, also called a groupoid, is an algebraic structure that has a single closed, binary operation defined on it and no other axioms. If the magma is represented and its binary operator generically represented as •, then

for all a, b in M, a • b is also in M.

In mathematical notation, this is:

a, b ∈ M: a • b ∈ M

This requirement is known as the magma axiom or closure axiom.


« Back to Glossary Index

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.