Si ("A", ≤) es un conjunto bien ordenado, y "B" es un subconjunto de "A" con la relación de orden inducida y "f":"A" → "B" un isomorfismo, entonces para todo "a" ∈ "A", vale "a" ≤ "f"("a").