👉 Borel's theorem, a fundamental result in measure theory, states that if X is a measurable subset of $\mathbb{R}^n$, then the set of all continuous functions from X to $\mathbb{R}$ has Lebesgue measure zero. This theorem plays a crucial role in the study of probability and measure theory.