Propriétés de la divisionCouvre les propriétés de la division en entiers et la relation entre la divisibilité et les quotients uniques.
Classes d'équivalenceIntroduit des classes d'équivalence pour décomposer un ensemble en sous-ensembles d'éléments équivalents, définissant le jeu de quotients X/~.