A function from a partially ordered domain to a partially ordered range such that x ≤ y implies f(x) ≥ f(y).