Equivalence relations, partitions, quotient set