Equivalence Class
The equivalence class of under is .
Definition 2.32 (Equivalence Class)
If is an equivalence relation on , then the equivalence class of is denoted by
Classes as rational numbers
On with when , , and identifying with regards the quotient as a copy of the rationals.
Related
Stated in
- Definition 2.32 (Equivalence Class)§2.3 Relations