quotient_set

Processing math: 100%

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