next up previous notation contents
Next: 2.11.2 Interval Extension Up: 2.11 Interval Function Domains Previous: 2.11 Interval Function Domains

2.11.1 Interval Inclusion

The number system tex2html_wrap_inline33233 will be used in the definitions that follow. A model tex2html_wrap_inline33235 of the m-ary function g satisfies the inclusion property if, for every tex2html_wrap_inline33241 :

math8406

The statement can be factored into two parts. The first,

math8413

requires that the value returned is valid; while the second,

math8418

requires that the domain returned is valid.


next up previous notation contents
Next: 2.11.2 Interval Extension Up: 2.11 Interval Function Domains Previous: 2.11 Interval Function Domains
Jeff TupperMarch 1996