Encyclopedia of general topology - Hart,Klaus Pieter,ed (Elsevier, 2004)