2) x,y \in A \, t.d. \, [x]_E \neq [y]_E \Rightarrow [x]_E \cap [y]_E = \emptyset \newline \newline
(pps. \, \exists z \in [x]_E \cap [y]_E \newline
\Rightarrow (zEx)\wedge(zEy)\Rightarrow (xEy) \newline
\Rightarrow [x]_E=[y]_E \Rightarrow \Leftarrow )\newline