Axiom:Group Axioms

Definition
A group is an algebraic structure $\left({G, \circ}\right)$ which satisfies the following four conditions:

These four stipulations are called the group axioms.

Also known as
The group axioms are also known as the group postulates, but the latter term is less indicative of the nature of these statements.

Also see

 * Group