Describir: General topology and its applications.