Jabarkan Definisi dari Kohimpunan

Misalkan  menjadi subgrup dari grup  yang operasinya ditulis secara multiplikatif (penjajaran berarti menerapkan operasi grup). Diberikan elemen  dari ,  'coset kiri'  dari  ke  adalah himpunan diperoleh dengan mengalikan setiap elemen  dengan elemen tetap  dari  (di mana  adalah faktor kiri). Dalam simbol ini adalah,

} untuk setiap  di .

Kohimpunan kanan didefinisikan dengan cara yang sama, kecuali bahwa elemen  sekarang merupakan faktor kanan, yaitu,