What is the definition of a group <i>G</i>  acting  on a set <i>S</i>?