graph TD 1["朴素集合论/naive-set-theory-2"] --> 0["点集拓扑/拓扑空间"] 2["朴素集合论/zorn_lemma"] --> 0["点集拓扑/拓扑空间"] 4["点集拓扑/子空间"] --> 3["点集拓扑/连续映射"] 0["点集拓扑/拓扑空间"] --> 4["点集拓扑/子空间"] 7["数学分析/real-number"] --> 6["点集拓扑/度量空间"] 8["点集拓扑/点集拓扑(代理)"] --> 6["点集拓扑/度量空间"] 3["点集拓扑/连续映射"] --> 9["点集拓扑/紧空间"] 6["点集拓扑/度量空间"] --> 10["点集拓扑/product-metric-space"] 9["点集拓扑/紧空间"] --> 8["点集拓扑/点集拓扑(代理)"] 11["点集拓扑/连通空间"] --> 8["点集拓扑/点集拓扑(代理)"] 12["点集拓扑/乘积空间"] --> 8["点集拓扑/点集拓扑(代理)"] 13["点集拓扑/序拓扑"] --> 8["点集拓扑/点集拓扑(代理)"] 3["点集拓扑/连续映射"] --> 11["点集拓扑/连通空间"] 0["点集拓扑/拓扑空间"] --> 12["点集拓扑/乘积空间"] 0["点集拓扑/拓扑空间"] --> 13["点集拓扑/序拓扑"] 14["数学分析/实数构造/广义实数"] --> 7["数学分析/real-number"] 15["数学分析/实数构造/实数"] --> 14["数学分析/实数构造/广义实数"] 17["朴素集合论/naive-set-theory-1"] --> 16["数学分析/实数构造/自然数"] 19["抽象代数/环论(二)"] --> 18["数学分析/实数构造/整数"] 20["抽象代数/环论(有序环)"] --> 18["数学分析/实数构造/整数"] 18["数学分析/实数构造/整数"] --> 21["数学分析/实数构造/有理数"] 22["抽象代数/环论(商域)"] --> 21["数学分析/实数构造/有理数"] 21["数学分析/实数构造/有理数"] --> 15["数学分析/实数构造/实数"] 23["抽象代数/环论(幂运算)"] --> 15["数学分析/实数构造/实数"] 24["抽象代数/群论(幂运算)"] --> 23["抽象代数/环论(幂运算)"] 18["数学分析/实数构造/整数"] --> 24["抽象代数/群论(幂运算)"] 19["抽象代数/环论(二)"] --> 22["抽象代数/环论(商域)"] 25["抽象代数/环论(一)"] --> 19["抽象代数/环论(二)"] 26["抽象代数/同态映射"] --> 19["抽象代数/环论(二)"] 27["抽象代数/群论(一)"] --> 25["抽象代数/环论(一)"] 28["抽象代数/二元运算"] --> 26["抽象代数/同态映射"] 17["朴素集合论/naive-set-theory-1"] --> 28["抽象代数/二元运算"] 16["数学分析/实数构造/自然数"] --> 27["抽象代数/群论(一)"] 28["抽象代数/二元运算"] --> 27["抽象代数/群论(一)"] 25["抽象代数/环论(一)"] --> 20["抽象代数/环论(有序环)"] 29["朴素集合论/初等数论"] --> 1["朴素集合论/naive-set-theory-2"] 17["朴素集合论/naive-set-theory-1"] --> 2["朴素集合论/zorn_lemma"] 18["数学分析/实数构造/整数"] --> 29["朴素集合论/初等数论"]