Lebesgue measures on R^n are translation-invariant and countably additive, making them fundamental in real analysis.