przy czym jest jedynym elementem dla którego
Stosując przedstawioną definicję, wystarczy sprawdzić punkty 1. oraz 4.; punkty 2., 3., 5., 6. wynikają z 1. oraz 4., co znacząco ułatwia przekonanie się o tym, czy dany zbiór z działaniem tworzy grupę.; uzasadnia to też definiowanie grupy jako uporządkowanej czwórki której trzeci element oznacza (jednoargumentowe) działanie odwracania, a czwarty – (wyróżniony) element neutralny.
W definicji można zastąpić istnienie prawostronnych elementów neutralnych i odwrotnych na lewostronne, nie zmieniając jej sensu; okazuje się jednak, że zmiana musi dotyczyć obu rodzajów elementów jednocześnie: istnienie prawostronnego elementu neutralnego i lewostronnych elementów odwrotnych nie zawsze zapewnia istnienie struktury grupy w zbiorze (por. Przykłady), podobnie dotyczy to lewostronnego elementu neutralnego i prawostronnych elementów odwrotnych.
Przytoczona definicja nie jest jedyną, która wprowadza w zbiorze strukturę grupy. Poza istnieniem łącznego działania dwuargumentowego można założyć dla każdego istnienie elementu spełniającego warunek dla dowolnych ;