\begin{definition}[Definition:Finer Equivalence Relation]
Let $X$ be a set.
Let $\equiv$ and $\sim$ be equivalence relations on $X$.
Then $\equiv$ is '''finer''' than $\sim$ {{iff}}:
:$\forall x, y \in X : x \equiv y \implies x \sim y$
\end{definition}