Applied General Topology