text: Если внешняя мера μ ∗ {\displaystyle \mu ^{*}} порождена некоторой мерой μ {\displaystyle \mu } , определённой на кольце K {\displaystyle K} , то μ ¯ {\displaystyle {\overline {\mu }}} будет продолжением меры μ {\displaystyle \mu } (где μ ¯ {\displaystyle {\overline {\mu }}} - определённая выше мера, порождённая μ ∗ {\displaystyle \mu ^{*}} ).