olemus
hulga \(X\) kõigi alamhulkade hulgal defineeritud reaalarvuline (väärtus võib ka lõpmatu olla) funktsioon \(\varphi\),
mis täidab tingimusi:
(i) \(\varphi(\emptyset) = 0\)
(ii) kui \(A\subseteq B \subseteq X\), siis \(\varphi(A)\le \varphi(B)\)
(iii) kui \(\{A_j\}\) on loenduv alamhulkade hulk,
siis \(\varphi(\cup_{j} A_j)\le \sum_{j} \varphi(A_j)\)
=
a set function defined on some set X with the properties that empty returns 0, of sub additivity and of monotonicity

ülevaateid
https://proofwiki.org/wiki/Definition:Outer_Measure

https://en.wikipedia.org/wiki/Outer_measure

https://mathworld.wolfram.com/OuterMeasure.html

https://www.encyclopediaofmath.org/index.php/Outer_measure

vt ka
- Lebesgue'i välismõõt