Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Integers and RingsCovers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Classification of ExtensionsExplores the classification of extensions in group theory, emphasizing split extensions and semi-direct products.
Equivalence ClassesIntroduces equivalence classes for decomposing a set into subsets of equivalent elements, defining the quotient set X/~.