Introduit des fonctions bijectives, qui sont à la fois injectables et surjectives, mettant l'accent sur la correspondance un à un entre domaine et codomain.
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.
Couvre les fonctions bijectives, établissant des correspondances individuelles entre les ensembles et l'importance de réduire le domaine et le codomain pour l'injectivité et la surjectivité.