What is the name of the rule that must be met for a group operation to occur?
A group is said to act on another mathematical object X if every group element performs some operation on X compatibly to the group law.