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

Re: Motion P1788/M0013.04 - Comparisons

John Pryce wrote:
Anyone wish to speak against this? If no one, I shall assume agreement and include it in the upcoming revised draft standard text. If anyone, I will propose it as a motion. 

Note it implies the following.
 Empty is interior to anything, including itself.
 Anything, including Entire, is interior to Entire.
 [1,oo] is interior to [0,oo].

John Pryce



I speak against this.

Ulrich's interior is better.
Note that the topological interior, i.e., "proper subset," is already expressed efficiently in terms of Ulrich's relations for intervals A,B: 
   ( A \subset B ) and not ( A == B )
This will also be true even when A is empty set and B is not.
I don't see Entire should be interior to Entire.

Nate