[Theory] Interval