Name for a function preserved over a relation

[Tac-Tics]

Given a relation R and a function f, is there a special name for f when

x R y implies f(x) R f(y)?

For example, if the relation R is simple equality, then all functions are of this type.

If R is <, then positive-scaling functions f(x) = ax (for positive a) are of this type.

A non-example would be f(x) = -x when the relation is <, because

"1 < 2 implies -1 < -2" is a false statement.

 

[Office_Shredder]

In the case of inequalities, f is called order preserving. I don't think there's a general name for when it preserves a relation R though... probably just say it's R-preserving, define that once and be done with it. Everyone will understand what you mean

 

[dodo]

I'm not sure if the term "homomorphism" would apply here. Or other ____morphism term (fill in the blanks).

By placing R (the same R) on both sides of the implication, you seem to suggest than f is a function from some set S to the same set S, in which case the term "endomorphism" might apply. But I'm not sure.