Re: Motion P1788/M0013.04 - Comparisons

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

Nate Hayes schrieb:
> 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.
that is not true !
He uses the same definition of the operator \subset
Juergen

> 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

--
-
     o          Prof. Dr. J. Wolff v. Gudenberg, Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg