Haskell functions preserve definedness

For any f, x, y, x ≤ y implies f(x) ≤ f(y), where ≤ denotes the definedness relation.