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 bases des nombres réels et de la théorie des ensembles, y compris les sous-ensembles, les intersections, les syndicats et les opérations des ensembles.