Un isomorfismo de orden es una función monótona biyectiva que tiene una inversa monótona.