Groups
Category
A σ-algebra is a collection of subsets that is closed under complements and countable unions, giving us a stable universe of sets where measure makes sense.
Measure theory generalizes length, area, and probability to very flexible spaces while keeping countable additivity intact.