Email Record: Introduction to general topology