Result R714: Element belongs to its own equivalence class shows that $x \in \{ y : (x, y) \in {\sim} \}$, which guarantees that the equivalence class $\{ y : (x, y) \in {\sim} \}$ is not empty. $\square$