Go backward to Example Go up to Top Go forward to Partitions and Equivalence Relations

Equivalence Relations and Partitions

Proposition: Let R be an equivalence relation on S. The quotient set of S with respect to R is a partition of S:

forall S, R: R is equivalence relation on S =>

S/R is partition of S.

Proof: see lecture notes.

Every equivalence relation defines a partition.