1. Introduction -- 2. Elements of set theory -- 3. A first tour of topology: metric spaces -- 4. Topology -- 5. Approximation and function spaces -- 6. Metrics, quasi-metrics, hemi-metrics -- 7. Completeness -- 8. Sober spaces -- 9. Stably compact spaces and compact pospaces