Measure is a generalization of the notions of length, area, and volume. Given a set S with a sigma algebra Σ of subsets of S, a measure is a map μ: Σ → [0,∞] such that μ(∅), and if {Ak} is a sequence of disjoint subsets in Σ, then
This last requirement is called ‘countable additivity’. A Banach measure need only be finitely additive. Compare Haar measure, Hausdorff dimension, Lebesgue measure, outer measure.