| Letters | ||
|
| free variables of a lower or upper bound |  |
|
| an infinitesimal | |
|
| coefficients of a lower or upper bound | |
|
| function describing a lower or upper bound | |
|
| functions/operators | |
|
| constant intervals | |
|
| linear intervals | |
|
| function arguments | |
| Functions | ||
|
| rounded operators | |
|
| function | |
|
| model of  , which satisfies interval inclusion property for  | |
|
| g(x) is undefined | |
|
| the function g restricted to  | |
|
| domain of g | |
| Intervals | ||
|
| width of interval i | |
|
| range of interval i | |
|
| lower and upper bound of interval i | |
|
| interval | |
|
| interval, with domain described by d | |
|
| interval, with continuity described by d | |
|
| domain of interval i | |
|
| a property of interval i | |
|
| continuity property of interval i | |
| Demotions | ||
|
| pessimistic and optimistic boolean demotion | |
|
| ``round down'', ``round to nearest'', ``round up'' | |
|
| pessimistic and optimistic linear interval demotion | |
| Miscellaneous | ||
|
| true, unknown, and false | |
|
| g has the property of being defined at x | |
|
| positive and negative infinity | |
|
|  subset | |
| Jeff Tupper | March 1996 |
