Pātuhitia tēnei: Introduction to general topology.