distinct equivalence classes