P1788
This is the third or fourth time I ask this question, but I don't recall ever having an answer.
Concerning the relation "is interior to", (\subset in Kulisch's notation), what's the result of
[1,oo] is interior to [0,oo]
?
Someone please say which of these is right:
(1) It is false, because the endpoints of the "inside" set _must_ be different from those of the "outside" one.
(2) It is true, because what we want is "topologically interior to".
(3) I couldn't care less, because this relation is only useful for bounded intervals.
Or, of course, something else.
Answers from those with experience in writing interval software especially welcome.
John Pryce