ThmDex – An index of mathematical definitions, results, and conjectures.
F10138
Formulation 0
Let $M = (\mathbb{R}^D, \mathcal{L}, \ell)$ be a D1744: Lebesgue measure space.
Then
(1) \begin{equation} \mathbb{N}^D \in \mathcal{L} \end{equation}
(2) \begin{equation} \ell(\mathbb{N}^D) = 0 \end{equation}