
110 Chapter 4 Interval arithmetic
By means of the following identity, this definition allows for the interpretation that
an interval vector a D .A
i
/ 2 V
n
IR also represents a set of vectors
a D .A
i
/ f.a
i
/ j a
i
2 A
i
, i D 1.1/ng.
In the case of a linearly ordered ringoid fR, C, , g, for all operations in the ringoid
fIR,
+
,
, gwe have derived explicit and easily performable formulas in Section 4.2
of this chapter. Formulas (4.4.1) for the operations
ı
, therefore, are also easily per-
formable. This is not the case for the operations
ı
originally defined, for instance, in
fIV
n
R, IM
n
R, g. Appealing to the isomorphism, we see that the operations
ı
can
be used ...