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 le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.
