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.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Explore les ensembles algébriques irréductibles et leur décomposition unique en composants, en mettant l'accent sur les idéaux premiers et la classification des sous-ensembles de plans.