Dos conjuntos bien ordenados "A" y "B" son isomorfos (con relación al orden) si existe una biyección "f" entre ambos que respeta el orden: si "a" < "a"' en "A", entonces "f"("a") < "f"("a") en "B".