previous up next
Go backward to Example
Go up to Top
Go forward to Partitions and Equivalence Relations
RISC-Linz logo

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.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next