Definition of intervals (m,n) where m and n can be unbounded
interval intersection
interval addition
Checks if a value belongs to an interval
checks if an interval is empty