A triple (X, Σ, μ) where X is a set, Σ is a σ-algebra of subsets of X, and μ is a measure assigning a nonnegative extended real number to each set in Σ, satisfying μ(∅)=0 and countable additivity.

Principle

Combining a base set, a σ-algebra, and a countably additive measure organizes a context in which size, probability, and integration are defined consistently across possibly infinite collections.

Demonstration

The real line with the Borel σ-algebra and Lebesgue measure is a measure space: intervals have lengths assigned, countable unions of disjoint measurable sets have measures equal to the sum of their measures.

Misapplication

Using a finitely additive set function that is not σ-additive as if it were a measure leads to incorrect limit theorems (e.g., failure of monotone convergence) and invalid integration properties.

Consequence

Within a measure space one can define measurable functions, integrals, almost-everywhere properties, and convergence theorems (monotone, dominated) that underpin probability and analysis, subject to the chosen σ-algebra and measure.

Reversal

Dropping σ-additivity produces a finitely additive measure or content, which may be useful in some contexts but does not support many standard integration theorems or a well-behaved Lp theory.

Boundary

Requires specification of both σ-algebra and measure; does not itself enforce completeness (sets of measure zero may or may not be included) unless explicitly completed; excludes mere outer measures without measurability structure.

Semantic Tension

Close to 'probability space' when μ(X)=1; tension arises when treating abstract measure spaces as probabilistic without normalizing, or when confusing outer measures, pre-measures, and full measures.

Synthesis

A measure space is the structured environment (set, σ-algebra, measure) that equips subsets with sizes in a countably additive way, enabling integration, almost-everywhere reasoning, and limit theorems essential to analysis and probability.