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/~.
Inversion de Möbius: posetsCouvre l'inversion de Möbius pour les posets, définissant des ensembles partiellement ordonnés et expliquant l'algèbre d'incidence.
