La categoría Ord tiene conjuntos preordenados como objetos y funciones crecientes como morfismos.