Search the corpus

    Topology is discrete if and only if points are open

    PR-NJTN5

    A topology is discrete exactly when every singleton is open.Suggest a slogan

    Let \((X, \tau)\) be a topological space. Then \(\tau\) is the discrete topology if and only if \(\theset{x}\in\tau\) for every \(x\in X\).

    What links to this