Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.