Påståendet Notera att de undre är i strikt mening specialfall av den översta betydelsen. är inte helt korrekt som det står just nu, eftersom en funktion inte behöver ha sammanfallande definitionsmängd och målmängd. Emellertid är också den första karakteriseringen litet för snäv, eftersom den bara hänvisar till gruppteorin. Multiplikativa inverser diskuteras ju ofta för multiplikation i ringar, och dessa operationer är monoider men inte grupper. Detta bör så småningom redas ut. Jörgen B 14 februari 2007 kl. 00.56 (CET)