Matematyka.pl

Mam takie zadanie:

\(\displaystyle{ \overline{\mu}}\) jest miarą zew na \(\displaystyle{ 2^X}\). \(\displaystyle{ \mu}\) to miara powstala z miary zew. poprzez obciecie do sigma ciala sigma zbiorow mierzalnych względem \(\displaystyle{ \overline{\mu}}\). Udowodnij że

\(\displaystyle{ \overline{\mu}(A)= \inf \lbrace\mu(F); A\subset F\in\Sigma\rbrace.}\)

Czy chodzi o to żeby pokazać, że jest to miara zewnętrzna (czyli sprawdzić miarę zb. pustego, monotoniczność i podaddytywność)?