قياس خارجي কী?

القياس الخارجي على $X$ هو تطبيق $\mu^* \colon \mathcal P(X) \to [0, \infty]$ يحقق $\mu^*(\varnothing) = 0$، ويكون رتيبًا وتحت جمعي قابلًا للعدّ. وتكون مجموعة $A$ قابلة للقياس بالمعنى $\mu^*$ (كاراتيودوري) إذا شطرت كل مجموعة شطرًا جمعيًا:

(فالمتراجحة $\leq$ صحيحة دائمًا بالتحت جمعية؛ والمضمون هو $\geq$).