This is an old revision of the document!
Quotient set
Definition
| $X$ |
| $ \sim\in\text{Equiv}(X) $ |
| $ Y\in X/\sim $ |
| $ \exists x.\ Y=[x]_\sim $ |
Discussion
Reference
Wikipedia: Equivalence class
Context
Requirements
This is an old revision of the document!
| $X$ |
| $ \sim\in\text{Equiv}(X) $ |
| $ Y\in X/\sim $ |
| $ \exists x.\ Y=[x]_\sim $ |
Wikipedia: Equivalence class
