A basic rule in → group theory stating that if a, b and c are members of a group then (a * b) * c and a * (b * c) are members of the group.
→ associative; → axiom.