Explore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.
Couvre les entiers, les anneaux, les sous-anneaux, l'inversibilité, les diviseurs de zéro et les relations d'équivalence dans les fractions formelles.
Explore la classification des extensions dans la théorie de groupe, en mettant l'accent sur les extensions fractionnées et les produits semi-directs.
Introduit des classes d'équivalence pour décomposer un ensemble en sous-ensembles d'éléments équivalents, définissant le jeu de quotients X/~.
Explore les relations d'équivalence, la réflexivité, les classes d'équivalence et la construction de nouveaux ensembles basés sur des éléments équivalents.
