Lebesgue density theorem

For every Lebesgue measurable set $A\subseteq {\mathbb{R}}^n$, its Lebesgue density is $1$ at almost every point of $A$ and $0$ at almost every point of its complement.