Re: Empty set is and is not a subset of empty set

[Andrew Makhorin]

BTW, you can replace the statement

   display (100..120 inter 130..150) not within (1..2 inter 3..4);

with

   display not ((100..120 inter 130..150) within (1..2 inter 3..4));

to make it work correctly.