Re: Motion: Number format (Motion 33?)

[Christian Keil <c.keil@xxxxxxxxxxxxx>]

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