Prove that if X is a partition, then the partition obtainable from an equivalence relation = X. Some notation first. Let $E_X$ be the equivalence relation that you can obtain from a partition $X$, that is $\{p:\exists x\exists y\exists z(p=\langle x,y\rangle,z\in X,x\in z,y\in z)\}$. Instead, let $\text{dom}(\mathord{\sim})/\mathord{\sim}$ be the partition that you can obtain from an equivalence $\mathord{\sim}$.
I'd like to prove that if $X$ is a partition, then $\text{dom}(E_X)/E_X=X$.
My strategy is to prove separately that:


*

*$\text{dom}(E_X)/E_X\subseteq X$

*$X\subseteq\text{dom}(E_X)/E_X$.


This is what I managed to prove so far.


*

*Suppose $c\in\text{dom}(E_X)/E_X$. Then $\exists x(x\in\text{dom}(E_X),c=[x]_{E_X})$. Suppose $a\in\text{dom}(E_X),c=[a]_{E_X}$. Then $[a]_{E_X}\in\text{dom}(E_X)/E_X$. Then $a\in[a]_{E_X}$. Then $a\in c$. Then?

*Suppose $c\in X$. Then $c\not=\emptyset$. Then $\exists z(z\in c)$. Suppose $a\in c$. Then $\langle a,a\rangle\in E_X$. Then $a\in\text{dom}(E_X)$. Then $a\in[a]_{E_X}$. Then $[a]_{E_X}\in\text{dom}(E_X)/E_X$. Then $a\in\bigcup\text{dom}(E_X)/E_X$. Then?


Thanks.
 A: *

*You need to use the fact that $X$ is a partition, which you haven't.
So, you have an equivalence class $[a]_{E_X}$. You want to show that this class is equal to some element of $X$. Since $a\in \mathrm{dom}(X)$, then there exists $P\in X$ such that $a\in P$. Now show that $[a]_{E_X} = P$; since they are both subsets of $\mathrm{dom}(X)$, you do this by showing that $[a]_{E_X}\subseteq P$ and that $P\subseteq [a]_{E_X}$. For example: if $p\in P$, then since $a,p\in P$ then $(a,p)\in E_X$, hence $p\in [a]_{E_X}$. Thus, $P\subseteq [a]_{E_X}$. Etc.


*In this part you want to prove that $c\in \mathrm{dom}(E_X)/E_X$. That is, you want to show that there exists $a\in\mathrm{dom}(E_X)$ such that $c=[a]_{E_X}$. You already have a candidate; so now you must show that $c=[a]_{E_X}$; to do this, since both $c$ and $[a]_{E_X}$ are subsets of $\mathrm{dom}(E_X)$, you do this by showing that $c\subseteq [a]_{E_X}$ and that $[a]_{E_X}\subseteq c$. For example, suppose $x\in c$; then $x,a\in c\in X$, so by definition of $E_X$ you have $(a,x)\in E_X$; therefore, $x\in[a]_{E_X}$, proving $c\subseteq [a]_{E_X}$. Etc.
