Re: Proposal for matching negated sets (was Re: New Public Review Issue: Proposed Update UTS #18)

From: Dominikus Scherkl (lyratelle@gmx.de)
Date: Sun Oct 07 2007 - 07:04:00 CDT

  • Next message: Philippe Verdy: "RE: Proposal for matching negated sets (was Re: New Public Review Issue: Proposed Update UTS #18)"

    Philippe Verdy schrieb:
    > Mark, the question is not "if sets don't have an implied ordering". By
    > definition a set is a unordered thing. There does not exist any ordered set.
    Of course there exists ordered sets!
    If you put an ordering on a set, it still remains a set.
    But an ordering is not required for sets, so most of them don't have one.

    Best regards, 

    -- 
Dominikus Scherkl

    This archive was generated by hypermail 2.1.5 : Sun Oct 07 2007 - 07:07:16 CDT