(*#* **Example of an abelian group: $\langle$#⟨#[Qpos],[[*]]$\rangle$#⟩#
The positive rationals form with the multiplication a CAbgroup.
*)
(*#* **Example of an abelian group: $\langle$#⟨#[Qpos],[[*]]$\rangle$#⟩#
The positive rationals form with the multiplication a CAbgroup.
*)