Equivalence classes

$ GU_{ Set _{A} }/= $



slide: Equivalence classes for Set