A subset of a measure space whose measure equals zero; elements of the set are negligible for integration and almost-everywhere statements with respect to that measure.

Principle

Remove or ignore sets of measure zero when evaluating integrals or properties that hold almost everywhere, because they do not change measure-theoretic values.

Demonstration

The classic middle-thirds Cantor set is uncountable yet has Lebesgue measure zero in the interval [0,1], so any Lebesgue integral over [0,1] is unchanged by altering the integrand on the Cantor set.

Misapplication

Treating a measure-zero set as topologically empty or as irrelevant for continuity: a function can fail to be continuous on a measure-zero set and this still affects pointwise continuity properties.

Consequence

Properties stated 'almost everywhere' and integrals depend only on equivalence classes modulo measure-zero sets; changing a function on a measure-zero set leaves its L^p class unchanged.

Reversal

A full-measure set (complement of a measure-zero set) contains the points that determine almost-everywhere behavior and integrals.

Boundary

Depends on the chosen measure (Lebesgue, counting, probability, etc.); a set of measure zero under one measure may have positive measure under another; does not capture topological size (e.g., nowhere dense vs measure zero).

Semantic Tension

Confused with nowhere dense sets or countable sets: measure-zero focuses on measure, not on topological density or cardinality.

Synthesis

A measure-zero set is a subset that the chosen measure assigns size zero to; such sets are negligible for integration and almost-everywhere statements but may still be topologically or combinatorially large.