 Quotient set

The quotient set $X/\sim$ of a set $X$ by an equivalence relation $\sim$ is the set of its equivalence classes.