===== Abelian monoid =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ \langle M,* \rangle \in \mathrm{Monoid}(M)$ |
| @#FFBB00: definiendum | @#FFBB00: $ \langle M,* \rangle \in \text{it}$ |
| @#FFFDDD: for all     | @#FFFDDD: $a,b\in X$ |
| @#55EE55: postulate   | @#55EE55: $a*b=b*a$ |

-----
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Monoid|Monoid]]

-----
=== Subset of ===
[[Monoid]]