Un isomorfismo de orden es una función que define tal renombrar.