By definition, an D178: Equivalence relation is a D287: Reflexive binary relation. Thus, $(x, x) \in {\sim}$ and therefore $x \in \{ y : (x, y) \in {\sim} \}$. $\square$