On Thu, 12 May 2016, David Cullen wrote:

Can you clarify what you mean by order isomorphism? In the context of

LOTS, does this mean an order preserving self-homeomorphism on S with

the order topology?

f:X -> Y is an (order) isomorphism between two (partially)

ordered sets X and Y when f is a surjection and for all

x,y in X, (x <= y iff f(x) <= f(y)), ie a surjective order

embedding.

--- SoupGate-Win32 v1.05

* Origin: fsxNet Usenet Gateway (21:1/5)