Definition:Discrete Topology

Let $$A \ne \varnothing$$ be a set.

Let $$\vartheta = \mathcal{P} \left({A}\right)$$ be the power set of $$A$$.

Then $$\vartheta$$ is called the discrete topology on $$A$$ and $$\left\{{A, \vartheta}\right\}$$ a discrete space.