Discussion:
Q: Consider any surjective map f from a set X onto another set Y. We can define a relation on X by x_1 ~ x_2 if f(x_1) = f(x_2). Check that this is an equivalence relation. Show that the associated partition of X is the partition into "fibers" f^(-1) (y) for y in Y