(*#* **Example of a monoid: $\langle$#⟨#[Npos],[[*]]$\rangle$#⟩#
One is the right unit as well as the left unit of the multiplication on the
positive natural numbers.
*)
(*#* **Example of a monoid: $\langle$#⟨#[Npos],[[*]]$\rangle$#⟩#
One is the right unit as well as the left unit of the multiplication on the
positive natural numbers.
*)