Definition:Negligible Set

Definition
Let $\struct {X, \Sigma, \mu}$ be a measure space.

We say that a subset $N \subseteq X$ is $\mu$-negligible :


 * there exists $N' \in \Sigma$ with $N \subseteq N'$ such that $\map \mu {N'} = 0$.