Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion 31: V04.2 Revision of proposed Level 1 text

Vincent Lefevre wrote:

On 2012-01-26 08:22:36 -0600, Nate Hayes wrote:

I believe "compact interval" is a term for a closed, bounded and nonempty
interval, i.e., an element of IR. So perhaps a shorter name would be
isCompact(x).


No, the empty set is compact.


Ok. Thanks for the correction.
In that case
   isCompactAndNonempty(X)
isn't any better, so I like Dmitry's original suggestion
   isBoundedAndNonempty(X).
Nate