A property P(x)P(x) is said to hold almost everywhere (with respect to a measure μ\mu on XX) if there exists a N⊆XN\subseteq X such that P(x)P(x) holds for all x∈X∖Nx\in X\setminus N.

This notion depends on the underlying and is weaker than pointwise validity: changing a function on a null set does not affect almost-everywhere statements. It is also closely tied to the of sets.

Examples
  • Two functions f,g:X→Rf,g:X\to\mathbb R are equal almost everywhere if {x∈X:f(x)≠g(x)}\{x\in X: f(x)\ne g(x)\} is a null set.
  • For measurable sets A,B∈ΣA,B\in\Sigma, the indicator functions 1A\mathbf 1_A and 1B\mathbf 1_B are equal almost everywhere exactly when A△BA\triangle B is a null set.