Isomorfismo de órdenes
De Wikipedia, la enciclopedia encyclopedia
En el campo matemático de la teoría del orden, un isomorfismo de órdenes es un tipo especial de función monótona que constituye una noción adecuada de isomorfismo para conjuntos parcialmente ordenados.[1] Dos conjuntos parcialmente ordenados isomorfos se pueden considerar esencialmente iguales: se puede recuperar el orden de uno a partir del del otro. Dos nociones estrictamente más débiles que se relacionan con los isomorfismos de órdenes son las inmersiones de órdenes y las conexiones de Galois.[2]