Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Explores making tangent spaces linear, defining tangent vectors without an embedding space and their operations, as well as the equivalence of different tangent space notions.