a * e = a, " a 
G) και (ιι)
δεξιό
αντίστροφο a΄
για κάθε
στοιχείο a6.4. Ενα σύνολο G αποτελεί ομάδα ως προς μια προσεταιριστική πράξη * αν υπάρχει στο G (ι)
δεξιό
ταυτοτικό
στοιχείο e (
a * e = a, " a
G) και (ιι)
δεξιό
αντίστροφο a΄
για κάθε
στοιχείο a
του G (
a * a΄ = e).