Original: To qualify as a group, the set and the operation must satisfy a few conditions called group axioms, namely closure, associativity, identity and invertibility.
Simplified: There are a few rules the set and the operation must satisfy to qualify as a group.