Original: To qualify as a group, the set and operation,, must satisfy four requirements known as the group axioms:
Simplified: There are a few rules the set and the operation must satisfy to qualify as a group. These are called group axioms: