##### 拓扑比较 - 拓扑比较 - **拓扑比较**是指不同[[拓扑]]之间的由包含关系产生的[[偏序关系]], 用精细和粗糙描述, 如果两个拓扑满足这两个条件中的任何一个, 它们就是可比的, 即它们要么互相包含, 要么完全相等. 离散拓扑是最精细的拓扑, 平凡拓扑是最粗糙的拓扑 - 细于, 如果 $\mathcal{T}_1 \supseteq \mathcal{T}_2$, 那么 $\mathcal{T}_1$​ 被称为细于 $\mathcal{T}_2$​ - 粗于, 如果 $\mathcal{T}_1 \subseteq \mathcal{T}_2$, 那么 $\mathcal{T}_1$ 被称为粗于 $\mathcal{T}_2$