Jabarkan } untuk  ke . dari Kohimpunan

Karena  bervariasi di seluruh grup, akan tampak bahwa banyak koset (kanan atau kiri) akan dihasilkan. Ini benar, tetapi kosetnya tidak semuanya berbeda. Faktanya, jika dua kohimpunan dari jenis yang sama memiliki setidaknya satu elemen yang sama, maka keduanya identik sebagai himpunan.

Jika operasi grup ditulis secara tambahan, seperti yang sering terjadi ketika grup adalah  abelian, notasi yang digunakan berubah menjadi  atau .