This is an old revision of the document!

Unit element

Set

context $\langle M,* \rangle \in$ magma
definiendum $e \in$ it
postulate $(a*b)*c=a*(b*c)$
exists $e\in M$

Reference

Wikipedia: Magma

Requirements

Magma

Link to graph
Log In
Improvements of the human condition
limeGraphxioms