A [[Topological Space]] $X$ is discrete if $\{x\} \in \mathcal{O}(X)$ for all points $x \in X$.