外測度

給定一個集合 ，一個集合函式 被稱為外測度，如果 並且 是可數次可加的，其中 是空集。

給定一個集合族 ，它是由 子集 和一個任意的集合函式 組成的，可以定義一個新的集合函式 ，透過設定 併為每個非空子集 定義，

其中 下確界 取自所有可數集合族 ，這些集合在 中覆蓋 。 結果函式 是一個外測度，被稱為由 誘導的外測度。