Saya mau tau Definisi dari Ukuran luar

Suatu ukuran luar, , secara formalnya adalah fungsi yang didefinisikan pada himpunan kuasa,  pada himpunan  yang dipetakan menuju  (lihat bilangan real diperluas), dan memenuhi sifat-sifat: