I want to know the answer to the following question:
What is the name of the rule that must be met for a group operation to occur?
All the background I'm provided with is that "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.". Is that enough to answer the question?