设 E ⊂ R E \subset \mathbf { R } E⊂R 且 m ∗ E < ∞ m ^ { * } E < \infty m∗E<∞, V \mathscr { V } V 是 E E E 的 V − V - V− 覆盖,则对任何 ε > 0 , \varepsilon > 0 , ε>0, 可从 V \mathscr { V } V中选出互不相交的有限个区间 I 1 , I 2 , ⋯ , I n , I _ { 1 } , I _ { 2 } , \cdots , I _ { n } ,