This is an old revision of the document!

Abelian monoid

Set

context $M$
definiendum $ \langle M,* \rangle \in \mathrm{AbelianMonoid}(M)$
context $ \langle M,* \rangle \in \mathrm{Monoid}(M)$
range $a,b\in X$
postulate $a*b=b*a$

Discussion

Reference

Wikipedia: Monoid

Parents

Subset of

Monoid

Link to graph
Log In
Improvements of the human condition
limeGraphxioms