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\).
PR-NJTN5
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\).