Encyclopedia of general topology / edited by Klaas Pieter Hart, Jun-iti Nagata, and Jerry E. Vaughan