Nested Interval Theorem

区间套

一串区间套是实数中的一串区间$I_n$使得对于每一个$n$都有$I_{n+1}$是$I_n$的子集.

区间套定理

关于区间套的主要问题在于探讨所有区间$I_n$的交集（记作$J$）的性状.