  We provide a formal introduction into the classic theorems of general
topology and its axiomatic foundations in set theory. Starting from ZFC, the
exposition in this first part includes relation and order theory as well as a
construction of number systems.
