W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2004

XML schema draft comments: 4.2.2 circular definition?

From: Daniel Barclay <daniel@fgm.com>
Date: Thu, 10 Jun 2004 14:32:49 -0400
Message-ID: <40C8A951.3040005@fgm.com>
To: www-xml-schema-comments@w3.org

Regarding the draft at
http://www.w3.org/TR/2004/PER-xmlschema-2-20040318/:

Section 4.2.2 says:

   [Definition:]  An order relation on a ˇvalue spaceˇ is a mathematical
   relation that imposes a ˇtotal orderˇ or a ˇpartial orderˇ on the
   members of the ˇvalue spaceˇ.

   ...

   [Definition:]   A partial order is an ˇorder-relationˇ that is
   irreflexive, asymmetric and transitive.

Given that "order relation" is defined in terms of "partial order,"
and "partial order" is defined in terms of "order relation," that
appears to be circular definition.

Daniel
Received on Thursday, 10 June 2004 14:52:25 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:02 UTC