Présente les produits cartésiens, les relations d'équivalence et les fonctions, en soulignant l'importance de l'ordre et en discutant des fonctions injectives, surjectives et bijectives.
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.
Explore les actions de groupe sur des ensembles à travers des homomorphismes et des produits cartésiens, illustrant leurs propriétés et définitions équivalentes.