Let f:a to b be a surjective map of sets prove that the relation a if and only if f(a) = f(b) is an equivalence relation whose equivalence classes are the fibers of f