Miért? Nem kell negált? Itt: http://en.wikipedia.org/wiki/Group_%28mathematics%29
azt írja " group axioms, namely closure, associativity, identity and invertibility"
Milyen csoportnál nincs invertálás és akkor miért is csoport az - vagyis milyen csoport definíció alapján csoport invertálhatóság nélkül?