Introduit des concepts de théorie de groupe, des propriétés et des exemples, y compris des fonctions injectables et des propriétés de groupe comme l'associativité et les inverses.
Introduit des fonctions bijectives, qui sont à la fois injectables et surjectives, mettant l'accent sur la correspondance un à un entre domaine et codomain.