Los conjuntos totalmente ordenados forman una subcategoría completa de la categoría de conjuntos parcialmente ordenados, siendo los morfismos funciones que respetan el orden, es decir, funciones "f" tales que si "a" ≤ "b" entonces "f"("a") ≤ "f"("b").