(*#* **Example of a group: $\langle$#⟨#[Q],[[+]]$\rangle$#⟩#
The rational numbers with addition form a group. The inverse function is taking the opposite.
*)
(*#* **Example of a group: $\langle$#⟨#[Q],[[+]]$\rangle$#⟩#
The rational numbers with addition form a group. The inverse function is taking the opposite.
*)