Exercise 2.8 · 习题

Exercise 2.8: Using reasoning analogous to

Alyssa’s, describe how the difference of two intervals may be computed. Define

a corresponding subtraction procedure, called sub-interval.

练习 2.8：用类似 Alyssa 的推理方法，描述如何计算两个区间之差。定义一个相应的减法过程，命名为 sub-interval。