Re: Motion P1788/M007.01_NaI
John Pryce wrote:
> Personally I take the view that for the P1788 standard, a number is
> just itself, hence we can and should define interval operations
> purely algebraically in terms of corresponding point operations,
> ignoring limit arguments.
I like this route, too.
But it makes me wonder is it even possible to ignore limit arguments when
unbounded intervals are part of the universal set? Maybe we need to consider
looking at compact intervals, i.e., intervals that are closed and bounded,
to fully accomplish this.
Nate Hayes