Unfolding all definitions, a magma $(X,\ast)$ fulfills the following single property:

Axiom: Axioms of Magma

closure: $x \ast y\in X$ for all $x,y\in X$.


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001
  2. Lang, Serge: "Algebra - Graduate Texts in Mathematics", Springer, 2002, 3rd Edition