(*#* **Non-example of a monoid: $\langle$#⟨#[Npos],[[+]]$\rangle$#⟩#
There is no right unit for the addition on the positive natural numbers.
*)
(*#* **Non-example of a monoid: $\langle$#⟨#[Npos],[[+]]$\rangle$#⟩#
There is no right unit for the addition on the positive natural numbers.
*)