https://9dok.net/document/y8g287e2-topologicalspaces-preliminaries-chapter.html