adj. (of a sequence of sets or intervals) such that each is a subset or subinterval of the preceding. In Euclidean space, if nested intervals are non-empty, bounded and closed, there must be at least one point common to all. This fact is called the nested interval theorem. See Cantor's intersection theorem.