Equivalence Class Equivalent Statements/3 iff 4

Theorem
Let $\RR$ be an equivalence relation on $S$.

Let $x, y \in S$.


 * $x \mathrel \RR y$
 * $x \in \eqclass y \RR$

Proof
This follows directly by the definition of equivalence class.