Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.
Introduit des ensembles, des fonctions et des preuves en mathématiques, couvrant l'égalité des ensembles, des sous-ensembles, des produits cartésiens et des ensembles de prédicats de vérité.
Explore la réciprocité, l'équivalence et les techniques de preuve en algèbre linéaire, en mettant l'accent sur le raisonnement logique et la rigueur mathématique.