Présente les produits cartésiens, les relations d'équivalence et les fonctions, en soulignant l'importance de l'ordre et en discutant des fonctions injectives, surjectives et bijectives.
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é.
