Discrete Topology is Finest Topology

Theorem
Let $S$ be a set.

Let $\vartheta$ be the discrete topology on $S$.
 * $\vartheta$ is the finest topology on $S$.

Proof
Let $\vartheta$ be the discrete topology on $S$.

Then by definition $\vartheta = \mathcal P \left({S}\right)$, that is, is the power set of $S$.

Let $\phi$ be any topology on $S$.

Let $U \in \phi$.

Then, by the definition of topology, $U \subseteq S$.

Then, by the definition of power set, $U \in \mathcal P \left({S}\right)$.

Hence by definition of subset, $\phi \subseteq \vartheta$.

Hence by definition of finer topology, $\vartheta$ is finer than $\phi$.