盧辛定理

設 是有限且 可測函式 在 中，且設 是任意選取的。則存在一個函式 使得

1. 在 中是連續的，

2. 測度 的 測度 是 ，

3. ,

其中 表示集合 的值的上確界，當 取遍 的所有值時。