Groepswerking: verschil tussen versies

''X'' is de verzameling functies van ''V'' naar ''W'', en ''G'' is een groep van bijecties van ''V'' naar ''V''. De groepswerking wordt gedefinieerd door (''gx'')(''v'') = ''x''(''g''⁻¹(''v'')), of gelijkwaardig door (''gx'')(''g''(''v'')) = ''x''(''v''). Het is een homomorfisme van ''G'' in de symmetriegroep van ''X'', waarbij dus met elke bijectie van ''V'' naar ''V'' in ''G'' een bijectie van ''X'' naar ''X'' correspondeert.