Given an [equivalence relation,](Equivalence%20relations.md) $\sim$ on a [set,](Sets.md) $S,$ the _quotient set_ is the [difference](Set%20difference.md) $A/\sim$ #MathematicalFoundations/SetTheory