Outline of general topology - Engelking, R (1968)