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 et des fonctions, couvrant les analogies d'union, d'intersection, de complément, de terminologie de fonctions et d'opérations d'ensemble.
Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.