展开 闭区间套证明有限覆盖