Sn 0
slide: Equivalence classes for Set