Definition:Expansion of Topology

Definition
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$.

Also see
By definition, it can be seen that $\tau_2$ is an expansion of $\tau_1$ $\tau_1$ is coarser than $\tau_2$.

That is, $\tau_2$ is finer than $\tau_1$.