*** Welcome to piglix ***

Order isomorphism


In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that one of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.

Formally, given two posets and , an order isomorphism from to is a bijective function from to with the property that, for every and in , if and only if . That is, it is a bijective order-embedding.


...
Wikipedia

...