Jabarkan tidak normal pada . dari Kohimpunan

Sebagai orbit dari tindakan grup

Subgrup  dari grup  bisa digunakan untuk mendefinisikan  aksi dari  pada  di dua cara alami. tindakan kanan,  diberikan oleh  atau tindakan kiri,  diberikan oleh .  orbit dari  di bawah aksi kanan adalah kohimpunan kiri , sedangkan orbit di bawah aksi kiri adalah kohimpunan kanan .