加载中…
Let X be a topological space. The closure of \Delta = {(x, x) : x \in X} in X \times X is a symmetric relation on X. We characterise those equivalence relations on an infinite set that arise as the closure of the diagonal with respect to a T_1-topology.

生成讲解博客的中文版本

生成AI智能校验的中文版本