- #1
Tac-Tics
- 816
- 7
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.
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.