Go backward to Example Go up to Top Go forward to Partitions and Equivalence Relations |
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.