Axiom:Right Group Action Axioms

Definition
Let $\left({G, \circ}\right)$ be a group which acts on a set $X$.

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

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