The original interval arithmetic 
can now be
viewed as constant interval arithmetic, where the lower and
upper function bounds are constants:
,
is a homomorphism from
to 
.
There is a similar mapping 
from to 
.
| Jeff Tupper | March 1996 |