This is LaTeX code:

[latex]
 
1) \forall x \in A, x \in [x]_E \Rightarrow [x]_E \neq \emptyset \newline

[/latex]