Go backward to Class PropertiesGo up to TopGo forward to Partition |

*Definition:* The *quotient set* of `S` with respect to `R`
is the set of all classes induced on `S` by `R`:

S/R:= {[x]_{R}:xinS}.

*By class properties, every set S is partitioned by an equivalence
relation R into a set of non-empty and disjoint subsets (blocks).*

Author: Wolfgang Schreiner

Last Modification: January 12, 2000