https://9dok.net/document/y96mr8xl-jahr-en-intervallrechnung-stark-entwickelt-algebra-intervallrechnung-charakterisierung.html