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