Next: 2.11.2 Interval Extension
Up: 2.11 Interval Function Domains
Previous: 2.11 Interval Function Domains
The number system 
will be used in the definitions that follow.
A model 
of the m-ary function g satisfies the inclusion property if,
for every 
:
The statement can be factored into two parts. The first,
requires that the value returned is valid; while the second,
requires that the domain returned is valid.
Next: 2.11.2 Interval Extension
Up: 2.11 Interval Function Domains
Previous: 2.11 Interval Function Domains
