Quotient set

Set

context $X$ … set
context $ \sim\in\text{Equiv}(X) $
definiendum $ Y\in X/\sim $
postulate $ \exists x.\ Y=[x]_\sim $

Reference

Wikipedia: Equivalence class

Context

Equivalence class