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