集合论 set

拓扑 = set + 临近关系