1. Forum
  2. Usenet
  3. SCI.MATH.RESEARCH

  • Compact Connected Lot

    From David Cullen@21:1/5 to All on Thu May 12 05:17:27 2016
    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?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From William Elliot@21:1/5 to David Cullen on Fri May 13 05:00:06 2016
    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)