Open sets, continuity, homeomorphism, and homotopy, leading to the first algebraic invariant of a space.