Difference between revisions of "Equivalence relation induced by a map"