Couvre les fonctions bijectives, établissant des correspondances individuelles entre les ensembles et l'importance de réduire le domaine et le codomain pour l'injectivité et la surjectivité.
Introduit des concepts de théorie de groupe, des propriétés et des exemples, y compris des fonctions injectables et des propriétés de groupe comme l'associativité et les inverses.