Describir: Foundations of general topology.