Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.0 DD-00006-010

3.4 Kaucher Interval Arithmetic KR

Generalized interval arithmetic also called Kaucher Interval Arithmetic, KR  is generalized form of normal interval arithmetic IR with relaxed constraints, that the infinimum x and supremum x do not have to be ordered.

KR ={[x,x]|x,x∈R}

3.4.1 Empty Interval