Re: Motion: Number format (Motion 33?)
Yes, this is trivial for infsup_F interval datatypes.
However, there might be artifical interval datatype T that vialates this property .
Consider datatype T = { [m - r, m + r] | r > 0 , m \in F, r \in F } + { Entire, Empty }
It doesn't contain singletons at all. I want to forbid such datatypes.
-Dima
----- Исходное сообщение -----
От: c.keil@xxxxxxxxxxxxx
Кому: vincent@xxxxxxxxxx
Копия: stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Среда, 18 Апрель 2012 г 0:29:17 GMT +04:00 Абу-Даби, Маскат
Тема: Re: Motion: Number format (Motion 33?)
Am Sun, 15 Apr 2012 01:42:33 +0200
schrieb Vincent Lefevre <vincent@xxxxxxxxxx>:
> > 3) For any bounded notempty interval [u,v] in T exists singleton
> > interval [x,x] in T such that x \in [u,v]
>
> Can anyone think of a format for which this wouldn't be true?
Am I missing something? Or would [u,u] and [v,v] usually be members of
T and also \in [u,v]?
Regards,
Christian