Encyclopaedia of general topology (Elsevier, 2004)