Möbius inversion: posetsCovers the Möbius inversion for posets, defining partially ordered sets and explaining the incidence algebra.
Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.