finer topology

Sei \(X\) eine Menge und \(\mathcal{T}, \mathcal{T}'\) Topologien auf \(X\). \(\mathcal{T}\) ist feiner als \(\mathcal{T}'\), wenn gilt:

\begin{align*} \mathcal{T}' \subseteq \mathcal{T} \end{align*}