Es razonable requerir que las funciones entre conjuntos parcialmente ordenados tengan ciertas propiedades adicionales, que se relacionen con la relación de orden de los dos conjuntos.