在測度論 中，內測度 是定義在某個給定的集合 的冪集 上的一個函數 ，滿足一些限制。內測度可以直觀地理解為一個集合大小的下界 。
內測度是一個對某個集合X 子集 有定義的一個函數
φ
:
2
X
→
[
0
,
∞
]
,
{\displaystyle \varphi :2^{X}\rightarrow [0,\infty ],}
滿足下列條件:
φ
(
∅
)
=
0
{\displaystyle \varphi (\varnothing )=0}
φ
(
A
∪
B
)
≥
φ
(
A
)
+
φ
(
B
)
.
{\displaystyle \varphi (A\cup B)\geq \varphi (A)+\varphi (B).}
集合降鏈的極限：對一個集合序列
A
j
{\displaystyle A_{j}}
j
A
j
⊇
A
j
+
1
{\displaystyle A_{j}\supseteq A_{j+1}}
φ
(
A
1
)
<
∞
{\displaystyle \varphi (A_{1})<\infty }
φ
(
⋂
j
=
1
∞
A
j
)
=
lim
j
→
∞
φ
(
A
j
)
{\displaystyle \varphi \left(\bigcap _{j=1}^{\infty }A_{j}\right)=\lim _{j\to \infty }\varphi (A_{j})}
若集合A
φ
(
A
)
=
∞
{\displaystyle \varphi (A)=\infty }
c A B
c
≤
φ
(
B
)
<
∞
{\displaystyle c\leq \varphi (B)<\infty }
Halmos, Paul R., Measure Theory , D. Van Nostrand Company, Inc., 1950, pp. 58.
A. N. Kolmogorov & S. V. Fomin, translated by Richard A. Silverman, Introductory Real Analysis , Dover Publications, New York, 1970, ISBN 0-486-61226-0 (Ch. 7) 
![{\displaystyle \varphi :2^{X}\rightarrow [0,\infty ],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc444031f3499153369aa8413b626565f2ba32c4)
