ほとんど至るところ

$(X,\mathcal{M},\mu)$ を測度空間とし、$X$ の点に関する命題 $P(x)$ を考える。$\mu(N) = 0$ なる $N \in \mathcal{M}$ が存在して、$x \in X\setminus N$ のすべてで $P(x)$ が成り立つとき、$P$ は $\mu$-ほとんど至るところ（almost everywhere）成り立つといい、「$P$ a.e.」と書く。$\mu(N)=0$ なる $N$ を零集合と呼ぶ。