Los monomorfismos en Ord son las funciones crecientes inyectivas.