Coba jelasin Definisi dari Ukuran luar dong

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: