R. Engelking (1977). General Topology.