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