dependency_graph

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["朴素集合论/初等数论"]

Link to original

拓扑空间->子空间->连续映射->紧空间->积空间->连通空间…