Title: Foundations of general topology