Tätä ehtoa kutsutaan kirjallisuudessa usein ''Carathéodoryn ehdoksi''.
Mitallisuus säilyy komplementoinnissa, ja numeroituvissa yhdisteissä. jaLisäksi leikkauksissa.[[tyhjä Itsejoukko]] asiassaon mittateoriassariippumatta osoitetaan,ulkomitasta ettäaina mitallinen. Näin ollen itse asiassa mielivaltaisen ulkomitan suhteen mitalliset joukot muodostavat [[sigma-algebra]]n. Tälle perheelle käytetään joissain lähteissä merkintää <center><math>\mathcal{M}_{{\mu}^*}(X) = \lbrace A \subset X \mid A \mbox{ on } {\mu}^*\mbox{-mitallinen} \rbrace ,</math> </center> missä ''X'' ilmaisee perusjoukon ja <math>\mu^*</math> joukossa annetun ulkomitan.
