Applications: Interval B-Rep Models
Let M be an ideal solid, and be a finite collection of boxes such that the following conditions are satisfied:
- Let . Whenever , then is a box.
- , where , that is covers and
- , for every .
We call the interval solid generated by and .