ParentFull threadmrkgnao·someone please tell me that "open set" has the topological meaning hereView on HN