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