Zupełność Niżej zakłada się, że jest miarą zewnętrzną.
Należy wykazać, że każdy podzbiór zbioru spełniający warunek należy do Niech będzie dowolnym podzbiorem zbioru Wówczas
Niech będzie podzbiorem zbioru spełniającym warunek oraz niech będzie dowolnym podzbiorem zbioru Z monotoniczności wynika, że a więc Ostatecznie, należy do rodziny
Zobacz też twierdzenie Hahna-Kołmogorowa
Przypisy
Bibliografia
Carathéodory’ego (teoria miary)