Axiom:Group Action Axioms

Definition
Let $\struct {G, \circ}$ be a group which acts on a set $X$.

The properties that define the group action $*: G \times X \to X$ are summarised as:

These properties can be referred to as the group action axioms.