In Lee, 'Introduction to Topological Manifolds', Appendix A, Exercise A.2 I am asked to prove that if $\mathcal C$ is a partition of $X$ there is a unique equivalence relation $\sim$ such that classes of equivalence of $\sim$ are elements of $\mathcal C$. Since the definition of difference/equality of equivalence relations was not given, I thought that it should be based on the equivalence classes of such a relation.
More formal, am I right stating that
There is a unique equivalence relation $\sim$ which admits sentence $S$ iff for any $\sim^1$ and $\sim^2$ admitting $S$ their classes of equivalence are the same?