Equivalence Class Equivalent Statements/2 iff 3

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

Let $x, y \in S$.


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

Proof
By Equivalence Class holds Equivalent Elements: