\begin{definition}[Definition:Expansion of Topology]
Let $S$ be a set.
Let $\tau_1$ and $\tau_2$ be topologies on $S$ such that $\tau_1 \subseteq \tau_2$.
Then $\tau_2$ is an '''expansion''' of $\tau_1$.
\end{definition}