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