Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Présente des ensembles, des fonctions, des produits cartésiens et des compositions, en discutant des images, des préimages et des propriétés des fonctions.