外测度

给定一个集合 ，一个集合函数 被称为外测度，如果 并且 是可数次可加的，其中 是空集。

给定一个集合族 ，它是由 子集 和一个任意的集合函数 组成的，可以定义一个新的集合函数 ，通过设置 并为每个非空子集 定义，

其中 下确界 取自所有可数集合族 ，这些集合在 中覆盖 。 结果函数 是一个外测度，被称为由 诱导的外测度。