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é.
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.