Re: Motion P1788/M0013.02:ComparisonOperations : NO
On 2010-05-03 17:09:58 +0100, John Pryce wrote:
> 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).
This would mean that for compact non-empty intervals, at most
4 relations would be needed, corresponding to the 4 bound
comparisons with <.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)