Quotient of a Set by a Relation
The quotient of by an equivalence relation is .
Definition 2.35
Examples
For the final-digit relation (example (1) among the relations on ), with size . On with when , identifying with regards as a copy of the rationals.
Related
Stated in
- Definition 2.35§2.3 Relations