Coba jelasin Himpunan hingga dari Grupoid dong

Pertimbangkan himpunan hingga , membentuk aksi grup  aksi  dengan membuat setiap bilangan menjadi negatif, maka  dan . Grupoid hasil bagi  adalah himpunan kelas kesetaraan dari aksi grup , dan  aksi grup  di atasnya.