Major Section: TAU-SYSTEM
It is the case that
(tau-interval-hi-rel (make-tau-interval dom lo-rel lo hi-rel hi)) = hi-rel
For a well-formed interval,
hi-rel is a Boolean, where
< (strong inequality or ``less-than'') relation and
<= (weak inequality or ``less-than-or-equal'') relation
between the elements of the interval and the upper bound.
When the domain of an interval is
INTEGERP, there are additional
constraints on the other components. See make-tau-interval.