(*#* **Examples of a monoid: $\langle$#⟨#[Q],[[+]]$\rangle$#⟩# and $\langle$#⟨#[Q],[[*]]$\rangle$#⟩#
***$\langle$#⟨#[Q],[[+]]$\rangle$#⟩#
The rational numbers form with addition a CMonoid. [QZERO] is the unit.
*)
(*#* **Examples of a monoid: $\langle$#⟨#[Q],[[+]]$\rangle$#⟩# and $\langle$#⟨#[Q],[[*]]$\rangle$#⟩#
***$\langle$#⟨#[Q],[[+]]$\rangle$#⟩#
The rational numbers form with addition a CMonoid. [QZERO] is the unit.
*)