关于从导集运算出发建立拓扑空间的讨论

• Discussion on Derived Set to Build Topological Spaces