A constant function from one preorder into a another is a monotone function.