Equivalence of Definitions of Finer Topology

Theorem
Let $S$ be a set.

Let $\tau_1$ and $\tau_2$ be topologies on $S$.