Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Covers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Covers the Möbius inversion for posets, defining partially ordered sets and explaining the incidence algebra.
