U を Q_p のコンパクト開集合(>>4) とする。
>>5より、U は基本ブロック A_1, ..., A_r により直和分割される。
>>6より、値 λ(A_1) + ... + λ(A_r) は U の基本ブロックによる
直和分割によらない。
よって、この値を λ(U) と書く。