Niech będzie funkcją liczącą zbiorów określoną na Funkcja jest skończenie addytywna i σ-addytywna na Ponieważ każdy niepusty zbiór należący do jest nieskończony, jego miara
Niech będzie σ-algebrą generowaną przez Można sprawdzić, że jest zbiorem wszystkich podzbiorów i obie funkcje oraz są σ-skończonymi miarami określonymi na tej σ-algebrze będącymi rozszerzeniami
Przypisy
Bibliografia
Hahna-Kołmogorowa