Q_p の任意のコンパクト部分集合 K に対して

λ(K) = inf {λ(U); K ⊂ U かつ U はコンパクト開集合 }

とおく。

K は有限個の基本ブロック(過去スレ012の564)で覆われるから
λ(K) ＜ +∞ である。
K 自身がコンパクト開集合のときは、この定義は>>7と矛盾しない。