mathbb{D}}$ such that $V_n\geq 1$ $\Xi$-a.e. on $K_n$;

2.  $\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n}$ is dense in ${\mathbb{D}}$ (w.r.t. ${\mathcal{E}}^{\frac{1}{2}}$-norm).

We note that the family $\{K_n\}_{n\geq 1}$ is a nest. It is also a nest according the definition given in [@Ariyoshi:2005], where the topology (on ${L_2^{\uparrow}}(\xi)$) is not needed.

We set $${\mathbb{D}}_{loc}(\{K_n\})=\left\{U\in L_0(\Xi):\ \begin{array}{l}
                                            \mbox{there exists}\ \ \{U_n\}_{n\geq 1}\subset{\mathbb{D}}\ \ \mbox{such that}\\
                                            U=U_n\ \ \Xi\mbox{-a.e. on}\ \ K_n\ \ \mbox{for each}\ \ n
                                           \end{array}
\right\}$$ and let ${\mathbb{D}}_{loc,b}(\{K_n\})$ denote the set of all essentially bounded functions from ${\mathbb{D}}_{loc}(\{K_n\})$. For $U,V\in{\mathbb{D}}_b$, where ${\mathbb{D}}_b$ is the set of all essentially bounded functions from ${\mathbb{D}}$, we define $$I_U(V)=2{\mathcal{E}}(UV,U)-{\mathcal{E}}(U^2,V).$$ By the locality of $({\mathcal{E}},{\mathbb{D}})$ (see Lemma \[lemma\_local\_prop\_2\]), $I_U(V)$ and ${\mathrm{D}}U$ can be well-defined for all $U\in{\mathbb{D}}_{loc,b}(\{K_n\})$ and $V\in\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n,b}$, where ${\mathbb{D}}_{K_n,b}={\mathbb{D}}_{K_n}\cap{\mathbb{D}}_b$, setting $I_U(V)=I_{U_n}(V)$ and ${\mathrm{D}}U={\mathrm{D}}U_n$ if $V\in
mathbb{D}}$ such that $ V_n\geq 1 $ $ \Xi$-a.e. on $ K_n$; 

 2.   $ \bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n}$ is dense in $ { \mathbb{D}}$ (w.r.t. $ { \mathcal{E}}^{\frac{1}{2}}$-norm). 

 We note that the family $ \{K_n\}_{n\geq 1}$ is a nest. It is also a nest according the definition give in   [ @Ariyoshi:2005 ], where the regional anatomy (on $ { L_2^{\uparrow}}(\xi)$) is not needed. 

 We set $ $ { \mathbb{D}}_{loc}(\{K_n\})=\left\{U\in L_0(\Xi):\ \begin{array}{l } 
                                             \mbox{there exists}\ \ \{U_n\}_{n\geq 1}\subset{\mathbb{D}}\ \ \mbox{such that}\\ 
                                             uracil = U_n\ \ \Xi\mbox{-a.e. on}\ \ K_n\ \ \mbox{for each}\ \ n 
                                            \end{array } 
 \right\}$$ and get $ { \mathbb{D}}_{loc, b}(\{K_n\})$ denote the set of all basically bounded functions from $ { \mathbb{D}}_{loc}(\{K_n\})$. For $ U, V\in{\mathbb{D}}_b$, where $ { \mathbb{D}}_b$ is the stage set of all essentially bounded function from $ { \mathbb{D}}$, we define $ $ I_U(V)=2{\mathcal{E}}(UV, U)-{\mathcal{E}}(U^2,V).$$ By the locality of $ ({ \mathcal{E}},{\mathbb{D}})$ (visualize Lemma   \[lemma\_local\_prop\_2\ ]), $ I_U(V)$ and $ { \mathrm{D}}U$ can be well - defined for all $ U\in{\mathbb{D}}_{loc, b}(\{K_n\})$ and $ V\in\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n, b}$, where $ { \mathbb{D}}_{K_n, b}={\mathbb{D}}_{K_n}\cap{\mathbb{D}}_b$, setting $ I_U(V)=I_{U_n}(V)$ and $ { \mathrm{D}}U={\mathrm{D}}U_n$ if $ V\in
matjbb{D}}$ such that $V_n\geq 1$ $\Xi$-x.e. on $K_n$;

2.  $\bigcuk_{n=1}^{\unfty}{\methbb{D}}_{K_h}$ is denre in ${\mathbb{D}}$ (w.r.t. ${\mathcal{E}}^{\frec{1}{2}}$-noem).

We bote that the family $\{K_v\}_{n\geq 1}$ is a nest. Ut iw also a nest according tgc defnnmtion given in [@Atiyoshi:2005], whera the topology (ov ${P_2^{\uparrow}}(\xi)$) is not needed.

We set $${\mathfb{D}}_{loc}(\{K_m\})=\lfft\{U\in L_0(\Xi):\ \begyn{argar}{l}
                                            \mbox{there exosts}\ \ \{U_n\}_{n\geq 1}\subset{\mathbb{D}}\ \ \mblx{such that}\\
                                            U=L_u\ \ \Xi\mbox{-a.e. on}\ \ K_n\ \ \mbox{for each}\ \ n
                                           \egd{array}
\right\}$$ and let ${\mathbb{C}}_{loc,b}(\{K_n\})$ denote thx ser of all essentially uounded functions frjm ${\mathbb{G}}_{lkc}(\{K_n\})$. For $U,V\in{\mathvb{E}}_b$, whgre ${\mdthbc{E}}_b$ ks uhe sst of wll essentialmy bounded dunctions from ${\mathnb{Q}}$, we define $$I_U(B)=2{\mathcwl{Q}}(UV,U)-{\mathcal{E}}(U^2,V).$$ By the locality of $({\mathcdl{E}},{\jathbb{D}})$ (see Lemma \[lemma\_lical\_prop\_2\]), $I_U(V)$ and ${\mathtm{D}}U$ can bq well-defined for all $U\in{\mathbb{D}}_{loc,b}(\{K_n\})$ and $V\in\bigwup_{n=1}^{\iifgy}{\mcbmbb{D}}_{Y_b,b}$, where ${\mathbb{D}}_{K_n,b}={\mathbb{D}}_{K_n}\cap{\mathbb{D}}_b$, setting $J_U(F)=I_{L_n}(V)$ and ${\mathrm{D}}U={\mcthrm{D}}U_n$ if $V\in
mathbb{D}}$ such that $V_n\geq 1$ $\Xi$-a.e. on $\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n}$ dense in (w.r.t. ${\mathcal{E}}^{\frac{1}{2}}$-norm). We 1}$ a nest. It also a nest the definition given in [@Ariyoshi:2005], where topology (on ${L_2^{\uparrow}}(\xi)$) is not needed. We set $${\mathbb{D}}_{loc}(\{K_n\})=\left\{U\in L_0(\Xi):\ \begin{array}{l} \mbox{there exists}\ \{U_n\}_{n\geq 1}\subset{\mathbb{D}}\ \ \mbox{such that}\\ U=U_n\ \ \Xi\mbox{-a.e. on}\ \ K_n\ \ \mbox{for \ \end{array} and ${\mathbb{D}}_{loc,b}(\{K_n\})$ denote the set of all essentially bounded functions from ${\mathbb{D}}_{loc}(\{K_n\})$. For $U,V\in{\mathbb{D}}_b$, where ${\mathbb{D}}_b$ is set of all essentially bounded functions from ${\mathbb{D}}$, define $$I_U(V)=2{\mathcal{E}}(UV,U)-{\mathcal{E}}(U^2,V).$$ By the of $({\mathcal{E}},{\mathbb{D}})$ (see Lemma \[lemma\_local\_prop\_2\]), and can be for $U\in{\mathbb{D}}_{loc,b}(\{K_n\})$ $V\in\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n,b}$, where ${\mathbb{D}}_{K_n,b}={\mathbb{D}}_{K_n}\cap{\mathbb{D}}_b$, $I_U(V)=I_{U_n}(V)$ and ${\mathrm{D}}U={\mathrm{D}}U_n$ if $V\in
mathbb{D}}$ such that $V_n\geq 1$ $\Xi$-a.e. oN $K_n$;

2.  $\bigcup_{n=1}^{\Infty}{\MatHbb{d}}_{K_N}$ is dEnse In ${\mathbb{D}}$ (w.r.t. ${\maTHcal{e}}^{\frac{1}{2}}$-norm).

We note that the FamilY $\{K_N\}_{N\geq 1}$ IS a Nest. IT is also A NeST AccOrDiNg tHe DEfInitiOn gIven in [@ARiyoshi:2005], wheRe tHe Topology (on ${L_2^{\uPArRow}}(\xi)$) is not NeeDed.

We set $${\mathBb{D}}_{Loc}(\{K_n\})=\lEfT\{U\iN l_0(\Xi):\ \beGin{Array}{L}
                                            \mbox{tHEre exiSts}\ \ \{U_n\}_{n\geq 1}\SuBSet{\matHBb{D}}\ \ \mbox{SUCh That}\\
                                            u=U_n\ \ \Xi\mbox{-a.e. on}\ \ K_n\ \ \mbOX{fOR each}\ \ n
                                           \end{array}
\Right\}$$ aNd LEt ${\MAThbB{D}}_{lOc,b}(\{K_n\})$ denotE tHe set OF all essENtIALLy bOUnded functionS from ${\mathbb{d}}_{Loc}(\{k_n\})$. For $U,v\iN{\maTHbb{D}}_b$, wHere ${\mAtHBb{D}}_B$ is the set of All eSsentiallY boundED functiONs from ${\mAthbb{D}}$, We dEfiNe $$I_U(v)=2{\MaThCal{e}}(Uv,u)-{\maTHcAl{E}}(u^2,v).$$ By The localItY oF $({\mathCal{E}},{\MATHBb{D}})$ (sEe LEmma \[Lemma\_Local\_prop\_2\]), $I_U(V)$ aNd ${\mAthrM{d}}U$ cAn be wEll-deFineD fOr all $u\in{\matHbb{D}}_{lOc,B}(\{K_n\})$ and $V\in\bigcup_{N=1}^{\infTy}{\mathbb{D}}_{k_n,b}$, WhEre ${\MaThbb{D}}_{k_N,b}={\mathBb{D}}_{k_n}\cAp{\mathbB{D}}_b$, settINg $I_u(V)=i_{u_N}(v)$ aNd ${\mathrm{D}}U={\mathrm{D}}U_N$ iF $v\In
mathbb{D}}$ such that $V_n \geq 1$ $\ Xi$-a .e.  on  $ K_n$ ;

2 .  $\bigcup_{n = 1}^{ \infty}{\mathbb{D}}_{K _n}$is dens e  i n ${\ mathbb{ D }} $ (w. r. t.  ${ \m a th cal{E }}^ {\frac{ 1}{2}}$-no rm) .
We note tha t  t he family$\{ K_n\}_{n\geq  1} $ is a  n est .  It i s a lso a  nesta ccordi ng the de fi n itiong iven in [ @A riyo shi:2005], wheret he topology (on $ {L_2^{ \u p ar r o w}} (\x i)$) is no tneede d .

We s e t$ $ { \ma t hbb{D}}_{loc} (\{K_n\})=\ l eft \{U\in  L _0( \ Xi):\\begi n{ a rra y}{l}
                                    \m box {th eree xi st s}\  \ \{U _ n\ }_{ n \ge q 1}\sub se t{ \math bb{D } } \ \ \m box {suc h tha t}\\
                                  U= U_n\\\Xi\mbox{-a.e.on}\  \ K_n\ \  \m bo x{f or  each } \ \ n                                \end{a rr a y }\right\} $$ and le t$ {\mathbb {D }}_ {loc , b }(\{K _n\} ) $denote t he set of  a ll esse nt iallybo und edfunct i onsfrom $ {\mathbb {D}}_ { loc}(\{K_n\})$ .  For $U,V\in{ \ ma t h bb { D}}_ b$,  where ${\m athb b {D}} _b$i sthe set o f all  e s se n tially bounded func ti ons fr om ${ \mathbb{D}}$,  we define $ $ I_U(V)=2 {\ma t hc a l{E}}(UV,U)-{\ mathc al{E}}(U^2 , V).$$ By  thelocality  of $({\m a t hcal{E}} ,{\ mat hbb {D} } ) $(see Lemma \[ l e mma\ _l ocal\_p rop \_2\]),  $I _U( V)$  an d${\mathrm {D}}U$ c an  b ewe ll- defin e d for al l$U\ in {\m athbb { D}}_{l oc,b} (\{K _n \} ) $ a nd $V\i n \b i g cup_ {n =1 }^{\ inf ty }{\ma thbb { D}} _{K_n,b }$, where  ${ \ math bb {D }}_{K_n ,b}={\mathbb{ D} }_{K_n}\ca p{ \ma thbb{D } } _b$, set ting $I_U(V)=I_{U_n}(V) $  and ${ \ma thrm{ D}}U ={\mathrm {D} }U_n$if$ V\in
mathbb{D}}$ such_that $V_n\geq_1$ $\Xi$-a.e. on $K_n$;

2._ $\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n}$_is_dense in_${\mathbb{D}}$_(w.r.t. ${\mathcal{E}}^{\frac{1}{2}}$-norm).

We note_that the family_$\{K_n\}_{n\geq 1}$ is a_nest. It is_also_a nest according the definition given in [@Ariyoshi:2005], where the topology (on ${L_2^{\uparrow}}(\xi)$) is not_needed.

We_set $${\mathbb{D}}_{loc}(\{K_n\})=\left\{U\in_L_0(\Xi):\_\begin{array}{l}
_    _    _ _       __  _        _     _  __\mbox{there_exists}\ \ \{U_n\}_{n\geq 1}\subset{\mathbb{D}}\_\ \mbox{such that}\\
   _     _      _     _    _ _    _  _ _  _ U=U_n\ \ \Xi\mbox{-a.e. on}\ \_K_n\ \ \mbox{for_each}\ \ n
   __  ___ _  __ __     __      _   __   _ \end{array}
\right\}$$ and let ${\mathbb{D}}_{loc,b}(\{K_n\})$_denote the set of all essentially_bounded functions_from ${\mathbb{D}}_{loc}(\{K_n\})$._For $U,V\in{\mathbb{D}}_b$, where ${\mathbb{D}}_b$ is the set of all essentially bounded_functions from ${\mathbb{D}}$, we define $$I_U(V)=2{\mathcal{E}}(UV,U)-{\mathcal{E}}(U^2,V).$$_By the locality of_$({\mathcal{E}},{\mathbb{D}})$ (see_Lemma \[lemma\_local\_prop\_2\]),_$I_U(V)$ and ${\mathrm{D}}U$_can_be well-defined_for all $U\in{\mathbb{D}}_{loc,b}(\{K_n\})$ and $V\in\bigcup_{n=1}^{\infty}{\mathbb{D}}_{K_n,b}$, where ${\mathbb{D}}_{K_n,b}={\mathbb{D}}_{K_n}\cap{\mathbb{D}}_b$,_setting $I_U(V)=I_{U_n}(V)$_and ${\mathrm{D}}U={\mathrm{D}}U_n$ if $V\in