Caratheodory条件是集合Lesbesgue可测的等价命题,在对于一般的集族定义测度时直接将Caratheodory条件作为集合可测的定义在实数集的全体子集P上定义外测度m*(R的子集E的外测度m*(E)由覆盖E的区间族的长度和的下确界定义)称R的子集E为Lesbesgue可测的,若任取e>0,存在开集G,闭集F,使得F包含于E包含于G,且m*(GF)<e也就是说可测集是可以被开集和闭集无限逼近的集合称E满足Caratheodory条件,若对任意R的子集A有m*(A)=m*(A交E)+m*(AE)满足Caratheodory条件的集合可以没有损失的分割R的任意子集一般地,对于定义了外侧度m*的集族U,称U中的集合E为可测的,若E满足Caratheodory条件