Intervals

Back to Mathematics

An interval is a subset S of a preordered set with the property that

for all and .

Files

Interval module

Real interval

Testing for intervals