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