Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Introduit des fonctions bijectives, qui sont à la fois injectables et surjectives, mettant l'accent sur la correspondance un à un entre domaine et codomain.
