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

Motion P1788/M003.01_Set_of_reals YES



I vote YES. Thanks.

> ===Motion P1788/M0003.01_Set_of_reals===
> Proposer: Juergen Wolff von Gudenberg
> Seconder: Michel Hack
> 
> ===Motion text===
> The P1788 Interval arithmetic standard defines intervals as closed
> and connected sets  of real numbers.  That means that ± Infinity may
> be used to denote an unbounded interval but are never considered as
> members of an interval.