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.
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.
