The identity function on a preorder is a monotone function.