\begin{definition}[Definition:Finer Topology/Definition 1]
Let $S$ be a set.
Let $\tau_1$ and $\tau_2$ be topologies on $S$.
$\tau_1$ is '''finer''' than $\tau_2$ {{iff}} $\tau_1 \supseteq \tau_2$.
\end{definition}