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.
Kolmogorovโs axioms define probability as a measure on events: non-negativity, normalization, and countable additivity.