In set theory, a null set N ⊂ R is a set that can be covered by a countable union of intervals of arbitrarily small total length. The notion of null set in set theory anticipates the development of Lebesgue measure since a null set necessarily has measure zero.
Suppose A is a subset of the real line R such that
where the Un are intervals and |U| is the length of U, then A is a null set. Also known as a set of zero-content.
In terminology of mathematical analysis, this definition requires that there be a sequence of open covers of A for which the limit of the lengths of the covers is zero.
Null sets include all finite sets, all countable sets, and even some uncountable sets such as the Cantor set.
The empty set is always a null set. More generally, any countable union of null sets is null. Any measurable subset of a null set is itself a null set. Together, these facts show that the m-null sets of X form a sigma-ideal on X. Similarly, the measurable m-null sets form a sigma-ideal of the sigma-algebra of measurable sets. Thus, null sets may be interpreted as negligible sets, defining a notion of almost everywhere.
The Lebesgue measure is the standard way of assigning a length, area or volume to subsets of Euclidean space.