Hi Roman, So are you really talking about an equivalence relation on the function's domain? The reason I ask is that it is well known that "f(a)=f(b)" establishes an equivalence relation on f's co-domain! Vasili