Go backward to Partitions and Equivalence RelationsGo up to TopGo forward to |

*Proposition:*
Let `R` be an equivalence relation on `S`. Then `R` is the
relation induced by the quotient set of `S` with respect to `R`:

forallS,R:Ris equivalence relation onS=>R= ~_{S/R}.

Let `D` be a partition of `S`. Then `D` is the quotient set of
the relation induced by `D`:

forallS,D:Dis partition ofS=>D=S/ ~_{D}.

*Each construction is the inverse of the other.*

Author: Wolfgang Schreiner

Last Modification: January 12, 2000