slide: Equivalence classes for Set