definition of intervals