What is the name of the rule that must be met for a group operation to occur?