Ask the question of discrete mathematics, isn't division a quotient set? Under the same equivalence relation! !
Equivalence relation can determine a division of a set, and division is indeed the quotient set of equivalence relation. This division is unique.
On the contrary, the division of a set can also uniquely determine the equivalence relation on the set and the elements except all the elements in the equivalence relation.