外測度
外測度 μ に対し、X の部分集合 E が μ-可測あるいは μ に関してカラテオドリ可測であるとは、 μ ( A ) = μ ( A ∩ E ) + μ ( A ∩ ∁ E ) ( ∀ A ⊂ X ) {\displaystyle \mu (A)=\mu (A\cap E)+\mu (A\cap \complement E)\quad (\forall A\subset X)} を満たすときに言う。