Encyclopedia of General Topology door Jun-Iti Nagata, Klaas Pieter Hart & J. Nagata