Assertion: interval arithmetic | /r/CapableOf | maintain disjoint
Facets:
Source sentences:
text: The corresponding multi-interval arithmetic maintains a disjoint set of intervals and also provides for overlapping intervals to unite.