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

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Dmitry Nadezhin wrote:
> 4) isBoundedNonempty(x) = not (x isEmpty) and (x.inf > -oo) and (x.sup <
> +oo).
> Section "Abbreviations" defines IR as a "the set of bounded, nonempty
> closed real intervals".
> Perhaps, there should be a boolean function to test this.
> Unfortunately, I failed to find a shorter name for it.

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).

Nate