Introduces the basic concepts of topology with an emphasis on non-Hausdorff topology, which is crucial for theoretical computer science.