∆ Определение 5.

Let $\sim$ be an equivalence relation on $M$. The set of all possible equivalence classes is called the quotient set. Notation: $M/\sim$.