A numeric function that maintains the order of input keys while changing their spacing. Formal Definition: A hash function f for keys in S such that k1, k2 ∈ S ∧ k1 > k2 → f(k1) > f(k2).