Interval arithmetic over finitely many endpoints
To my knowledge all definitions of interval arithmetic start with real endpoints and prove properties. Then, for practical use, the definition is specialized to finitely many endpoints, where many of the mathematical properties are no longer valid. There seems no treatment how to choose this finite set of endpoints to preserve as many mathematical properties as possible.
interval arithmetic finitely many endpoints mathematical properties ieee 754 65g30