XML schema draft comments: 4.2.2 circular definition?

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