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.