1: \begin{definition}

2: The set $Y^{3,\delta_0}_{{\mathcal D},\varphi}({\mathbb R}\times {\mathbb

3:   R}^N,\boldsymbol{\gamma})$ equipped with the M-polyfold structure

4:   resulting from Theorem \ref{RRRR} via

5:   $$

6:     \boldsymbol{\bar{\oplus}}:{\mathcal V}\rightarrow

7:     Y^{3,\delta_0}_{{\mathcal D},\varphi}({\mathbb R}\times {\mathbb

8:     R}^N,\boldsymbol{\gamma})

9:     $$

10:  is denoted by $Y^{3,\delta}_{{\mathcal D},\varphi}({\mathbb R}\times

11:  {\mathbb R}^N,\boldsymbol{\bar{\gamma}})$, or, more explicitly,

12:  $Y_{{\mathcal D},\varphi}^{3,\delta}({\mathbb R}\times {\mathbb

13:  R}^N,\boldsymbol{\gamma})$.

14: \end{definition}

15: