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.
Couvre les modules injectables, les modules Ox-modules, et leur pertinence dans les structures algébriques, soulignant leur importance dans la résolution des résolutions acycliques et l'informatique de la cohomologie.
