Equivalence relation on the domain of a function such that two elements are equivalent if they have the same image