Considérese un par ("F", "i") donde "F" es un grupo e "i": "S" → "F" es una función.