text: На любом локальном поле K {\displaystyle K} можно ввести абсолютную величину | a | {\displaystyle |a|} такую, что | a | = μ ( a X ) μ ( X ) {\displaystyle |a|={\frac {\mu (aX)}{\mu (X)}}} для некоторого (а значит и любого) измеримого подмножества X ⊂ K {\displaystyle X\subset K} с ненулевой конечной мерой Хаара.