The objects are the elements of G, and for any two elements x and y of G, there exists a unique morphism from x to y if and only if x~y.
Τα αντικείμενα είναι τα στοιχεία της G, και για κάθε δύο στοιχεία x και y της G, υπάρχει ένας μοναδικός μορφισμός από το x προς y αν και μόνο αν x ~ y.