(Inversion and unit are needed to get the right notions of homomorphism and so that the group laws can be expressed as equations.)
(Odwrócenie i jedynka są potrzebne do otrzymania właściwych pojęć homomorfizmu i możliwości przedstawienia praw grupy jako równań.)