Search the corpus

    Regular space

    D-EPTMG

    A topological space \(X\) is regular if for every closed set \(F\subseteq X\) and every point \(x\in X\sm F\) there are disjoint open sets \(U, V\subseteq X\) with \(x\in U\) and \(F\subseteq V\).

    Guide Appearances

    What links to this