Encyclopedia of general topology. (2003)