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 | |