Se puede demostrar que dado un conjunto bien ordenado el único automorfismo posible es la función identidad.