A set G with a binary operation · satisfying closure, associativity, identity, and inverses. Abelian if · is commutative. Formalises symmetry.
A set G with a binary operation · satisfying closure, associativity, identity, and inverses. Abelian if · is commutative. Formalises symmetry.