formula_4，勒贝格外测度定义为对每一列能覆盖formula_5的开区间formula_6，作长度和formula_7。所有这些formula_8组成一个有下界的数集，下确界称为勒贝格外测度，记做formula_9。勒贝格测度定义在勒贝格σ代数上formula_10对勒贝格可测集，其勒贝格测度就等于勒贝格外测度。不在勒贝格σ代数中的集合不是勒贝格可测的，这样的集合确实存在，故勒贝格σ代数严格包含于formula_11的幂集。
性质.设集合 与 是在 上的