Next: 2.14 Variants
Up: 2.13 Interval Sets
Previous: 2.13.1 Interval Inclusion and Extension
Formally, g is -bumpy if there is a model
such that
where the inclusion operator is strict. We
assume that returns a finite
number of intervals.
Interval inclusion is defined naturally:
where j and k are intervals.
Next: 2.14 Variants
Up: 2.13 Interval Sets
Previous: 2.13.1 Interval Inclusion and Extension