Relation Partitions Set iff Equivalence

Theorem
Let $\RR$ be a relation on a set $S$.

Then $S$ can be partitioned into subsets by $\RR$ $\RR$ is an equivalence relation on $S$.

The partition of $S$ defined by $\RR$ is the quotient set $S / \RR$.