Re: Motion P1788/M0013.02:ComparisonOperations : NO
Dominique
On 3 May 2010, at 16:10, Dominique Lohez wrote:
>> Dominique wrote:
>>> 2) The primitive operations provided by the standard MUST be be defined such that for any pair of intervals one and only one operation provided the true result.
>>
> John Pryce wrote:
>> I don't know what this sentence means.
>>
> Sorry , I really express my position in a too condensed formulation.
>
> My point that the comparison operations defined must be handle ALL the relative position on an interval a with respect to an interval b.
OK, thanks. So, on the lines of the Wolff von Gudenberg and Nehmeier position paper?
Surely in the real number case, or any linearly ordered set, you only need *one* relation, say <, to define all the others? Since
a=b <==> !(a<b or b<a).
John