Quotient set (source code)

= Quotient set
{wiki}

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