Definition 2.6.4.  Let G be a group. We define
(G)
by:
We write “let a ∈ G” for “let a ∈ (G).”
Remarks.

This definition retrieves a representative carrier set from a group (which is actually an equivalence class of groups), and enables typical abuse of notation.