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