Jabarkan {| class=wikitable dari Kohimpunan

!*|| || || || || ||

|| || || || || ||

| || || || || ||

| || || || || ||

| || || || || ||

| || || || || ||

| || || || || ||

Misalkan  menjadi subgrup }. Kohimpunan kiri (berbeda) dari  adalah:

Karena semua elemen  sekarang telah muncul di salah satu kohimpunan ini, menghasilkan Kohimpunan lagi tidak dapat menghasilkan kohimpunan baru, karena kohimpunan baru harus memiliki unsur yang sama dengan salah satunya dan karenanya identik dengan salah satu kohimpunan ini. Contohnya, .