AFM.AQR.5.4: Determine the equivalence classes given an equivalence relation on a set; determine whether the union of equivalence classes of a set is a partition of that set.