Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Covers the Möbius inversion for posets, defining partially ordered sets and explaining the incidence algebra.
Introduces binary relations, functions, and various types of relations in sets.
