quotient set

set formed by the equivalence classes on a set under a given equivalence relation