oplus}},X,{\mathfrak{n}}^{\oplus}{\right\rangle}}$$ where

1.  $
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
    \doteqdot
    \bigcup_{x\in X}
    \{x\}
    \times
    {\mathbf{E}}_{x}^{\oplus}
    $, $
    \pi_{{\mathbf{E}}^{\oplus}}:
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
    \ni
    (x,v)
    \mapsto x
    \in X
    $.

2.  $
    {\mathfrak{n}}^{\oplus}
    =
    \{
    \hat{\mu}_{\rho}:
    \mid
    \rho
    \in
    \prod_{i=1}^{n}
    L_{i}
    \}
    $, with $
    \hat{\mu}_{\rho}:
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
    \ni
    (x,v)
    \mapsto
    \hat{\mu}_{\rho}^{x}(v)
    $;

3.  $\tau({\mathbf{E}}^{\oplus},{\mathcal{E}}^{\oplus})$ is the topology on ${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ such that for all $
    (x,v)\in
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
    $ $${\mathcal{I}}_{(x,v)}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}
    \doteqdot
    {\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$$ is the neighbourhood’s filter of $(x,v)$ with respect to it. Here ${\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$ is the filter on ${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ generated by the following filter’s base $$\begin{aligned}
    {1}
    {\mathcal{B}}^{\oplus}((x,v))
    \doteqdot
    \{
    T_{{\mathbf{E}}^{\oplus}}(U,\sigma,{\varepsilon},\rho)
    &
    \mid
    U\in Open(X),
    \sigma\in{\mathcal{E}}^{\oplus},
oplus}},X,{\mathfrak{n}}^{\oplus}{\right\rangle}}$$ where 

 1.   $ 
     { \mathfrak{E}}({\mathbf{E}}^{\oplus }) 
     \doteqdot 
     \bigcup_{x\in X } 
     \{x\ } 
     \times 
     { \mathbf{E}}_{x}^{\oplus } 
     $, $ 
     \pi_{{\mathbf{E}}^{\oplus } }: 
     { \mathfrak{E}}({\mathbf{E}}^{\oplus }) 
     \ni 
     (x, v) 
     \mapsto x 
     \in X 
     $. 

 2.   $ 
     { \mathfrak{n}}^{\oplus } 
     = 
     \ { 
     \hat{\mu}_{\rho }: 
     \mid 
     \rho 
     \in 
     \prod_{i=1}^{n } 
     L_{i } 
     \ } 
     $, with $ 
     \hat{\mu}_{\rho }: 
     { \mathfrak{E}}({\mathbf{E}}^{\oplus }) 
     \ni 
     (x, v) 
     \mapsto 
     \hat{\mu}_{\rho}^{x}(v) 
     $; 

 3.   $ \tau({\mathbf{E}}^{\oplus},{\mathcal{E}}^{\oplus})$ is the topology on $ { \mathfrak{E}}({\mathbf{E}}^{\oplus})$ such that for all $ 
     (x, v)\in 
     { \mathfrak{E}}({\mathbf{E}}^{\oplus }) 
     $ $ $ { \mathcal{I}}_{(x, v)}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus }) } 
     \doteqdot 
     { \mathfrak{F}_{{\mathcal{B}}((x, v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$$ is the neighbourhood ’s filter of $ (x, v)$ with respect to it. Here $ { \mathfrak{F}_{{\mathcal{B}}((x, v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$ is the filter on $ { \mathfrak{E}}({\mathbf{E}}^{\oplus})$ generate by the take after filter ’s base $ $ \begin{aligned } 
     { 1 } 
     { \mathcal{B}}^{\oplus}((x, v) ) 
     \doteqdot 
     \ { 
     T_{{\mathbf{E}}^{\oplus}}(U,\sigma,{\varepsilon},\rho) 
     & 
     \mid 
     U\in Open(X), 
     \sigma\in{\mathcal{E}}^{\oplus },
oplks}},X,{\mathfrak{n}}^{\oplus}{\right\rakgle}}$$ where

1.  $
    {\mathfran{E}}({\mathgf{E}}^{\oplus})
    \doteqdot
    \bigcup_{x\in X}
    \{x\}
    \times
    {\mathbf{E}}_{x}^{\oplur}
    $, $
    \pi_{{\mathbd{E}}^{\opoys}}:
    {\mathhdak{E}}({\matmyf{E}}^{\opmms})
    \ii
    (x,v)
    \mapxto x
    \it X
    $.

2.  $
    {\mdtffxak{n}}^{\oplus}
    =
    \{
    \hat{\mu}_{\rho}:
    \mid
    \rho
    \in
    \prod_{i=1}^{n}
    K_{y}
    \}
    $, with $
    \hat{\mu}_{\rho}:
    {\mathfrai{E}}({\mathbh{E}}^{\oplus})
    \ni
    (x,v)
    \mapsto
    \hat{\mu}_{\rho}^{d}(v)
    $;

3.  $\tau({\mathbf{E}}^{\oplud},{\mathcal{E}}^{\opous})$ yw the topoloey on ${\mathfrak{E}}({\mathbf{E}}^{\kplus})$ such that for all $
    (x,v)\iv
    {\kathfrak{E}}({\mqtybf{F}}^{\mplus})
    $ $${\methcal{P}}_{(x,v)}^{{\mathfrak{E}}({\mathbf{E}}^{\opnus})}
    \coteqdot
    {\mabhfran{F}_{{\mqthcal{B}}((x,v))}^{{\mathfrak{E}}({\matibf{E}}^{\oplus})}}$$ is the neidhbourhoog’s filter of $(x,v)$ wity eespewt tm it. Yerd ${\mztifrzk{F}_{{\matjcam{B}}((x,v))}^{{\mathfrzk{E}}({\mathbf{E}}^{\oplus})}}$ is the filter pn ${\nathfrak{E}}({\mathgf{E}}^{\oplts})$ generated by the following filter’s bast $$\begjn{aligned}
    {1}
    {\mathcao{B}}^{\oplus}((x,v))
    \doteqdot
    \{
    T_{{\iathbf{E}}^{\oplus}}(U,\sigma,{\varepsilon},\rho)
    &
    \mid
    U\in Open(E),
    \winma\iv{\nahhcal{E}}^{\oplus},
oplus}},X,{\mathfrak{n}}^{\oplus}{\right\rangle}}$$ where 1. $ {\mathfrak{E}}({\mathbf{E}}^{\oplus}) \doteqdot \bigcup_{x\in \times $, $ {\mathfrak{E}}({\mathbf{E}}^{\oplus}) \ni (x,v) 2. {\mathfrak{n}}^{\oplus} = \{ \mid \rho \in L_{i} \} $, with $ \hat{\mu}_{\rho}: \ni (x,v) \mapsto \hat{\mu}_{\rho}^{x}(v) $; 3. $\tau({\mathbf{E}}^{\oplus},{\mathcal{E}}^{\oplus})$ is the topology on ${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ such for all $ (x,v)\in {\mathfrak{E}}({\mathbf{E}}^{\oplus}) $ $${\mathcal{I}}_{(x,v)}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})} \doteqdot {\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$$ is the neighbourhood’s filter $(x,v)$ respect it. ${\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$ is the filter on ${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ generated by the following filter’s base $$\begin{aligned} {1} {\mathcal{B}}^{\oplus}((x,v)) \doteqdot T_{{\mathbf{E}}^{\oplus}}(U,\sigma,{\varepsilon},\rho) & \mid U\in Open(X), \sigma\in{\mathcal{E}}^{\oplus},
oplus}},X,{\mathfrak{n}}^{\oplus}{\right\Rangle}}$$ wherE

1.  $
    {\mathFraK{E}}({\mAtHbf{E}}^{\OpluS})
    \doteqdot
    \bigcuP_{X\in X}
    \{X\}
    \times
    {\mathbf{E}}_{x}^{\oplus}
    $, $
    \pi_{{\mAthbf{e}}^{\oPLus}}:
    {\mAThFrak{E}}({\Mathbf{E}}^{\OPlUS})
    \Ni
    (x,V)
    \mApSto X
    \iN x
    $.

2.  $
    {\mAthfrAk{n}}^{\Oplus}
    =
    \{
    \haT{\mu}_{\rho}:
    \mid
    \rHo
    \iN
    \pRod_{i=1}^{n}
    L_{i}
    \}
    $, with $
    \hAT{\mU}_{\rho}:
    {\mathfrAk{E}}({\Mathbf{E}}^{\oplus})
    \Ni
    (x,V)
    \mapstO
    \hAt{\mU}_{\Rho}^{x}(v)
    $;

3.  $\Tau({\MathbF{E}}^{\opluS},{\MathcaL{E}}^{\oplus})$ is ThE TopoloGY on ${\mathFRAk{e}}({\matHbf{E}}^{\oplus})$ such that FOr ALl $
    (x,v)\in
    {\mathfrak{e}}({\mathbF{E}}^{\OPlUS})
    $ $${\MatHcaL{I}}_{(x,v)}^{{\mathfrAk{e}}({\mathBF{E}}^{\oplus})}
    \DOtEQDOt
    {\mAThfrak{F}_{{\mathcaL{B}}((x,v))}^{{\mathfraK{e}}({\maThbf{E}}^{\oPlUs})}}$$ iS The neiGhbouRhOOd’s Filter of $(x,v)$ wIth rEspect to iT. Here ${\mAThfrak{F}_{{\MAthcal{B}}((X,v))}^{{\mathFraK{E}}({\mAthbF{e}}^{\oPlUs})}}$ iS tHE fiLTeR on ${\MAthFrak{E}}({\matHbF{E}}^{\Oplus})$ GeneRATED by tHe fOlloWing fIlter’s base $$\begIn{aLignED}
    {1}
    {\maThcal{b}}^{\opluS}((x,v))
    \dOtEqdot
    \{
    t_{{\mathbF{E}}^{\oplUs}}(u,\sigma,{\varepsiloN},\rho)
    &
    \Mid
    U\in OpeN(X),
    \sIgMa\iN{\mAthcaL{e}}^{\oplus},
oplus}},X,{\mathfrak{n}}^{ \oplus}{\r ight\ ran gle }} $$ w here 

1.  $
    {\ m athf rak{E}}({\mathbf{E}}^{ \oplu s} ) 
  \d oteqd ot
   \ bi g c up_ {x \i n X }  \{x\ }
   \tim es
    {\m ath bf {E}}_{x}^{\o p lu s}
    $,$
   \pi_{{\ma thb f{E}}^ {\ opl u s}}:   {\ma thfrak { E}}({\ mathbf{E} }^ { \oplus } )
    \ n i 
   ( x,v)
    \mapstox 
  \in X
    $. 

2. $ { \ma thf rak{n}}^{\ op lus}   =
  \ {   \ hat{\mu}_{\rh o}:
    \mi d 
   \rho 
  \ in
   \pro d_ { i=1 }^{n}
    L _{i} 
    \}
   $,w ith $
  \hat{ \mu}_{ \rh o}: 
  {\ ma thf ra k {E} } ({ \ma t hbf {E}}^{\o pl us })
   \n i   (x ,v) 
   \map sto
    \hat{ \mu }_{\ r ho} ^{x}( v)
   $; 
3.  $ \tau({ \math bf {E}}^{\oplus},{ \mat hcal{E}}^ {\o pl us} )$  is t h e topo log y o n ${\ma thfrak{ E }}( {\ m a t hb f{E}}^{\oplus})$ s uc h th at for a ll $
 (x , v)\in
  {\m athf r a k{E}} ({\m a th bf{E}}^{ \oplus } )   $ $${ \m athcal {I }}_ {(x ,v)}^ { {\ma thfrak {E}}({\m athbf { E}}^{\oplus})}     \doteqdot  {\ m athf rak {F}_{{\math cal{ B }}(( x,v) ) }^ {{\ m athfr ak{E} }( { \m a thbf{E}}^{\oplus})} }$ $ is t he ne ighbourhood’s  filter of $ ( x,v)$ wi th r e sp e ct to it. Here  ${\m athfrak{F} _ {{\mathc al{B} }((x,v)) }^{{\math f r ak{E}}({ \ma thb f{E }}^ { \ op lus})}}$ is t h e  fil te r on ${ \ma thfrak{ E}} ({\ mat hbf {E }}^{\oplu s})$ gen er at ed  b y t he fo l lowing f il ter ’s  ba se $$ \ begin{ align ed}  { 1}    {\m a th c a l{B} }^ {\ oplu s}( (x ,v))   \ dot eqdot
   \{
   T_ { {\ma th bf {E}}^{\ oplus}}(U,\si gm a,{\vareps il on} ,\rho)    &
   \mid
    U\in Open(X),     \si gma \in{\ math cal{E}}^{ \op lus},
oplus}},X,{\mathfrak{n}}^{\oplus}{\right\rangle}}$$ where

1._ $
_   {\mathfrak{E}}({\mathbf{E}}^{\oplus})
_ __\doteqdot
 __ \bigcup_{x\in X}
_  _\{x\}
   _\times
  __{\mathbf{E}}_{x}^{\oplus}
    $, $
    \pi_{{\mathbf{E}}^{\oplus}}:
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
__ _\ni
__  (x,v)
  _ \mapsto x
  _ \in_X
    $.

2.  $
 __ {\mathfrak{n}}^{\oplus}
 _  =
    \{
  _ \hat{\mu}_{\rho}:
    \mid
_  _\rho
__  \in
 _  \prod_{i=1}^{n}
   _L_{i}
    \}
 _  $, with $
  _ \hat{\mu}_{\rho}:
    {\mathfrak{E}}({\mathbf{E}}^{\oplus})
_   \ni
 _ _(x,v)
    \mapsto
_  _\hat{\mu}_{\rho}^{x}(v)
 _  $;

3._ $\tau({\mathbf{E}}^{\oplus},{\mathcal{E}}^{\oplus})$ is the topology on_${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ such that_for all $
   _(x,v)\in
_  _{\mathfrak{E}}({\mathbf{E}}^{\oplus})
__ _$ $${\mathcal{I}}_{(x,v)}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}
 __ \doteqdot
__  {\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$$ is the neighbourhood’s_filter_of $(x,v)$ with respect to it. Here_${\mathfrak{F}_{{\mathcal{B}}((x,v))}^{{\mathfrak{E}}({\mathbf{E}}^{\oplus})}}$ is the filter_on_${\mathfrak{E}}({\mathbf{E}}^{\oplus})$ generated by the_following filter’s base $$\begin{aligned}
 _  {1}
   _{\mathcal{B}}^{\oplus}((x,v))
 _ _\doteqdot
    \{
    T_{{\mathbf{E}}^{\oplus}}(U,\sigma,{\varepsilon},\rho)
  _ &
    \mid
_   U\in_Open(X),
 __ \sigma\in{\mathcal{E}}^{\oplus},