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