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$

#### Reference

Wikipedia: Equivalence class