Definition:Finer Topology/Definition 1

Definition
Let $S$ be a set.

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

$\tau_1$ is finer than $\tau_2$ $\tau_1 \supseteq \tau_2$.

Also see

 * Equivalence of Definitions of Finer Topology