:有限多球.在一个度量空间中有一族闭球formula_1，则这一族球中存在互不相交的球formula_2，适合条件formula_4表示和formula_5有相同中心，而半径是formula_5的三倍的球。
无限多球.在一个度量空间中有一族半径为正数的闭球formula_7，这族球的半径有有限的上界，即则这一族球中存在互不相交的球formula_9，formula_10，适合条件formula_12表示和formula_13有相同中心，而半径是formula_13的五倍的球。