Order-Reversing Function

Last updated Nov 1, 2022

Let $X, Y$ be Partial Orderings. Let $f: X \to Y$ be a Function. We say $f$ is order-reversing if for $x, x’ \in X$, $$x \leq x’ \Rightarrow f(x) \geq f(x’).$$

1. A Non-Increasing Function is an Order-Reversing Function.