A σ-additive measure, also known as a countably additive measure, is a function defined on a σ-algebra that assigns a non-negative real number or infinity to sets, such that the measure of a countable union of disjoint sets is equal to the sum of the measures of each set. This property is fundamental in measure theory and is essential for the development of integration theory, probability theory, and many areas of mathematical analysis.