https://phylosopher07.github.io/blog/blog/posts/topological-space/