added construction of equivalence sets