Re: Motion 31: V04.2 Revision of proposed Level 1 text
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.
--
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 / AriC project (LIP, ENS-Lyon)