Re: Motions M0040 and M0041: YES and NO
I vote yes on Motion 40 and no on Motion 41.
I would vote yes to Motion 41 if it says the empty interval exists, but is not the mathematical empty set, which is a member of every set. If the empty interval is included in any interval there is no way to force the result of any operation or function evaluation that contains an empty interval to produce a result that includes the empty interval. On the other hand, if the empty interval exists, is not the mathematical empty set, and is not included in every interval, then if any expression or function fails to include the empty interval, result is a containment failure.
Bill