(*#* **Example of a group: $\langle$#⟨#[Qpos],[[*]]$\rangle$#⟩#
The positive rational numbers form a multiplicative group.
*)
(*#* **Example of a group: $\langle$#⟨#[Qpos],[[*]]$\rangle$#⟩#
The positive rational numbers form a multiplicative group.
*)