In abstract algebra, a groupoid, also called a magma, is an algebraic structure that has a single closed, binary operation defined on it and no other axioms. If the groupoid 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
 Posted by at 3:46 pm

 Leave a Reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code class="" title="" data-url=""> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> <pre class="" title="" data-url=""> <span class="" title="" data-url="">