Groepswerking: verschil tussen versies

Uit de definitie volgt dat voor iedere ''g'' in ''G'' de functie van ''x'' in X naar ''g''·''x'' in X [[bijectief]] is. Wel is het mogelijk dat met meerdere groepselementen dezelfde bijectie correspondeert. Als dit niet het geval is, en dus de afbeelding van ''g'' in ''G'' naar ''g''·''x'' in de verzameling bijecties van ''X'' naar ''X'' injectief is, dan noemt men de groepsbewerkinggroepswerking ''faithful'' of effectief.