[Home]Order isomorphism

HomePage | Recent Changes | Preferences

Showing revision 3
Given two partially ordered sets (S, <=) and (T, [=) an order isomorphism from (S, <=) to (T, [=) is an isomorphism from S to T that preserves the order, that is, it is a bijection h : S -> T such that for all u and v in S it holds that
h(u) [= h(v) iff u <= v.

If there is an order isomorhpism between two partially ordered sets then these sets are called [order isomorphic]?.


HomePage | Recent Changes | Preferences
This page is read-only | View other revisions | View current revision
Edited July 31, 2001 5:51 pm by Jan Hidders (diff)
Search: