(i) | $\mathcal{P}_{\text{bounded}}(\mathbb{R}^N)$ is the D3756: Set of bounded euclidean real sets in $\mathbb{R}^N$ |
(ii) | $\mathcal{P}_{\text{elementary}}(\mathbb{R}^N)$ is the D3761: Set of elementary sets in $\mathbb{R}^N$ |
(iii) | $m$ is the D3760: Elementary measure in $\mathbb{R}^N$ |