Go backward to ExampleGo up to TopGo 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`:

forallS,R:Ris equivalence relation onS=>S/Ris partition ofS.

*Proof:* see lecture notes.

*Every equivalence relation defines a partition.*

Author: Wolfgang Schreiner

Last Modification: January 12, 2000