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. DanielReceived on Thursday, 10 June 2004 14:52:25 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 23 October 2007 06:13:33 GMT