aligned}$$

The above properties (\[eab0\]), (\[eab4\]), (\[eab\]), and $\mu^\emptyset$ an identity, are all we need from $\otimes$ to get the results of this work.

Note that commutation and associativity imply that $\bigotimes_{L\in {{\cal D}}}\mu_L\in {\cal P}_I$ is well-defined for a partition ${{\cal D}}$ of $I$.

For $\otimes$ the product measure we have $$\forall x\in \prod_{i\in I}A_i: \quad 
\bigotimes_{L\in {{\cal D}}}\mu_L(x)=\prod_{L\in 
{{\cal D}}}\mu_L(x_L).$$ If ${{\cal D}}={{\cal D}}^{si}=\{\{i\}: i\in I\}$, $\bigotimes_{i\in I} \mu_{\{i\}}$ is called Bernoulli and $(\mu^{\{i\}}: i\in I)$ are the one-site marginals.

From now on, we fix $\rho=(\rho_J: J\in {\mathbb{S}})$ a probability vector, so $\rho_J\ge 0$ for $J\in {\mathbb{S}}$ and $\sum_{J\in {\mathbb{S}}}\rho_J=1$, and that also satisfies $\rho_\emptyset=0$.

\[def1\] Define the following transformation $\Xi: {\cal P}_I\to {\cal P}_I$, $$\label{e4}
\Xi[\mu]= \sum_{J\in {\mathbb{S}}} 
\rho_J \, \mu_J\otimes \mu_{J^c}=\sum_{J\in {\mathbb{S}}^{(\emptyset)}}
\rho_J \, \mu_J\otimes \mu_{J^c}.$$ $\Box$

Since $\mu_\emptyset\equiv 1$, then $$\label{e4x}
\Xi[\mu]= \rho_I \, \mu + \sum_{J\in {\mathbb{S}}^{\emptyset,I}}
\rho_J \, \mu_J\otimes \mu_{J^c}.$$

\[rem0ax\] We have $\rho_\emptyset=0$, but we can have $\rho_I>0$. On the other hand, since $\mu_J\otimes \mu_{
aligned}$$ 

 The above properties (\[eab0\ ]), (\[eab4\ ]), (\[eab\ ]), and $ \mu^\emptyset$ an identity, are all we need from $ \otimes$ to get the results of this workplace. 

 notice that commutation and associativity imply that $ \bigotimes_{L\in { { \cal D}}}\mu_L\in { \cal P}_I$ is well - define for a division $ { { \cal D}}$ of $ I$. 

 For $ \otimes$ the product measure we have $ $ \forall x\in \prod_{i\in I}A_i: \quad 
 \bigotimes_{L\in { { \cal D}}}\mu_L(x)=\prod_{L\in 
 { { \cal D}}}\mu_L(x_L).$$ If $ { { \cal D}}={{\cal D}}^{si}=\{\{i\ }: i\in I\}$, $ \bigotimes_{i\in I } \mu_{\{i\}}$ is call Bernoulli and $ (\mu^{\{i\ } }: i\in I)$ are the one - site marginals. 

 From now along, we specify $ \rho=(\rho_J: J\in { \mathbb{S}})$ a probability vector, so $ \rho_J\ge 0 $ for $ J\in { \mathbb{S}}$ and $ \sum_{J\in { \mathbb{S}}}\rho_J=1 $, and that besides satisfies $ \rho_\emptyset=0$. 

 \[def1\ ] Define the following transformation $ \Xi: { \cal P}_I\to { \cal P}_I$, $ $ \label{e4 } 
 \Xi[\mu]= \sum_{J\in { \mathbb{S } } } 
 \rho_J \, \mu_J\otimes \mu_{J^c}=\sum_{J\in { \mathbb{S}}^{(\emptyset) } } 
 \rho_J \, \mu_J\otimes \mu_{J^c}.$$ $ \Box$ 

 Since $ \mu_\emptyset\equiv 1 $, then $ $ \label{e4x } 
 \Xi[\mu]= \rho_I \, \mu + \sum_{J\in { \mathbb{S}}^{\emptyset, I } } 
 \rho_J \, \mu_J\otimes \mu_{J^c}.$$ 

 \[rem0ax\ ] We have $ \rho_\emptyset=0 $, but we can accept $ \rho_I>0$. On the other hand, since $ \mu_J\otimes \mu _ {
alihned}$$

The above properties (\[eab0\]), (\[eab4\]), (\[eab\]), anb $\mu^\empvyset$ ah identigy, are all we need from $\otimxs$ ti get the results of this wurk.

Note tjat commytatmon and associatmbity imijy tgwt $\bngitimes_{L\in {{\cal C}}}\mu_L\in {\cal P}_I$ is well-defhndd for a partition ${{\cal D}}$ of $I$.

For $\otimqs$ the lrlduct measure re hsde $$\fkgaol x\in \prod_{i\in I}A_i: \quad 
\bigotjmes_{L\in {{\cal D}}}\mu_L(x)=\proc_{L\in 
{{\cal D}}}\mu_L(x_L).$$ If ${{\cal D}}={{\cap D}}^{sl}=\{\{i\}: i\in I\}$, $\bigotimes_{l\in I} \mu_{\{i\}}$ iw cajoed Bernoullk and $(\mu^{\{i\}}: p\nn I)$ are thg one-site marginals.

From now on, wd fix $\rho=(\rho_J: J\un {\mahvbb{S}})$ a probebilitj vector, so $\rmp_J\ge 0$ xor $J\in {\mathbb{S}}$ and $\smm_{J\in {\marhbb{S}}}\rho_J=1$, and that alvo satisfies $\rho_\emktyset=0$.

\[def1\] Geyine the following trqnwformdtiot $\Xi: {\xal P}_I\uo {\ral P}_I$, $$\lahel{x4}
\Xi[\mu]= \sum_{J\ih {\mathbb{S}}} 
\ryo_J \, \mu_J\otimes \mu_{J^c}=\xui_{H\in {\mathbb{S}}^{(\emltyset)}}
\whj_J \, \mu_J\otimes \mu_{J^c}.$$ $\Box$

Since $\mu_\emptyset\exuib 1$, then $$\label{e4x}
\Xi[\mu]= \rho_U \, \mu + \sum_{J\in {\mathbb{S}}^{\gmptyset,I}}
\rro_J \, \mu_J\otimes \mu_{J^c}.$$

\[rem0ax\] We have $\rho_\emptyset=0$, but fe cai favt $\vmo_I>0$. Ub hhe other hand, since $\mu_J\otimes \mu_{
aligned}$$ The above properties (\[eab0\]), (\[eab4\]), (\[eab\]), an are all need from $\otimes$ this Note that commutation associativity imply that {{\cal D}}}\mu_L\in {\cal P}_I$ is well-defined a partition ${{\cal D}}$ of $I$. For $\otimes$ the product measure we have x\in \prod_{i\in I}A_i: \quad \bigotimes_{L\in {{\cal D}}}\mu_L(x)=\prod_{L\in {{\cal D}}}\mu_L(x_L).$$ If ${{\cal D}}={{\cal D}}^{si}=\{\{i\}: I\}$, I} is Bernoulli and $(\mu^{\{i\}}: i\in I)$ are the one-site marginals. From now on, we fix $\rho=(\rho_J: J\in a probability vector, so $\rho_J\ge 0$ for $J\in and $\sum_{J\in {\mathbb{S}}}\rho_J=1$, and also satisfies $\rho_\emptyset=0$. \[def1\] Define following $\Xi: {\cal {\cal $$\label{e4} \sum_{J\in {\mathbb{S}}} \rho_J \mu_J\otimes \mu_{J^c}=\sum_{J\in {\mathbb{S}}^{(\emptyset)}} \rho_J \, \mu_J\otimes \mu_{J^c}.$$ $\Box$ Since $\mu_\emptyset\equiv 1$, then $$\label{e4x} \Xi[\mu]= \rho_I \, \mu \sum_{J\in {\mathbb{S}}^{\emptyset,I}} \mu_J\otimes \mu_{J^c}.$$ We $\rho_\emptyset=0$, we can have the other hand, since $\mu_J\otimes \mu_{
aligned}$$

The above properties (\[Eab0\]), (\[eab4\]), (\[eab\]), aNd $\mu^\eMptYseT$ aN ideNtitY, are all we need fROm $\otImes$ to get the results of tHis woRk.

nOte tHAt CommuTation aND aSSOciAtIvIty ImPLy That $\bIgoTimes_{L\iN {{\cal D}}}\mu_L\in {\Cal p}_I$ Is well-defineD FoR a partitioN ${{\caL D}}$ of $I$.

For $\otimEs$ tHe prodUcT meASure wE haVe $$\forAll x\in \PRod_{i\in i}A_i: \quad 
\biGoTImes_{L\iN {{\Cal D}}}\mu_L(X)=\PRoD_{L\in 
{{\Cal D}}}\mu_L(x_L).$$ If ${{\cal D}}={{\caL d}}^{sI}=\{\{I\}: i\in I\}$, $\bigotimes_{I\in I} \mu_{\{I\}}$ iS CaLLEd BErnOulli and $(\mu^{\{I\}}: i\In I)$ arE The one-sITe MARGinALs.

From now on, we Fix $\rho=(\rho_J: J\IN {\maThbb{S}})$ a PrObaBIlity vEctor, So $\RHo_J\Ge 0$ for $J\in {\matHbb{S}}$ And $\sum_{J\in {\Mathbb{s}}}\Rho_J=1$, and THat also SatisfIes $\Rho_\EmptYSeT=0$.

\[dEf1\] DEfINe tHE fOllOWinG transfoRmAtIon $\Xi: {\Cal P}_i\TO {\CAl P}_I$, $$\LabEl{e4}
\XI[\mu]= \suM_{J\in {\mathbb{S}}} 
\rhO_J \, \mU_J\otIMes \Mu_{J^c}=\sUm_{J\in {\MathBb{s}}^{(\emptYset)}}
\rhO_J \, \mu_J\OtImes \mu_{J^c}.$$ $\Box$

SincE $\mu_\eMptyset\eqUiv 1$, ThEn $$\lAbEl{e4x}
\XI[\Mu]= \rho_I \, \Mu + \sUm_{J\In {\mathbB{S}}^{\emptySEt,I}}
\RhO_j \, \MU_J\Otimes \mu_{J^c}.$$

\[rem0ax\] We hAvE $\RHo_\Emptyset=0$, But we cAN hAvE $\Rho_I>0$. On thE oTheR hanD, SInce $\mU_J\otIMeS \mu_{
aligned}$$

The above prop erties (\[ eab0\ ]),  (\ [e ab4\ ]),(\[eab\]), and $\mu ^\emptyset$ an identit y, ar ea ll w e  n eed f rom $\o t im e s $ t oge t t he re sults  of  this w ork.

Note  th at  commutation an d associat ivi ty imply tha t $ \bigot im es_ { L\in{{\ cal D }}}\mu _ L\in { \cal P}_I $i s well - defined f or  a p artition ${{\calD }} $  of $I$.

For$\otim es $  t h e  pr odu ct measure  w e hav e  $$\for a ll x \ in\ prod_{i\in I} A_i: \quad\bi gotime s_ {L\ i n {{\c al D} }} \ mu_ L(x)=\prod_ {L\i n 
{{\cal  D}}}\ m u_L(x_L ) .$$ If${{\ca l D }}= {{\c a lD} }^{ si } =\{ \ {i \}: i\i n I\}$,$\ bi gotim es_{ i \ i n  I}\mu _{\{ i\}}$  is called Be rno ulli and  $(\m u^{\{ i\}} :i\inI)$ ar e the  o ne-site margina ls.
From now  on ,wefi x $\r h o=(\rh o_J : J \in {\m athbb{S } })$  a p r ob ability vector, so  $ \ r ho _J\ge 0$  for $ J \i n{ \mathbb{ S} }$and$ \ sum_{ J\in {\ mathbb{S }}}\rh o _J =1 $, andth at als osat isf ies $ \ rho_ \empty set=0$.
\[de f 1\] Define the following tra n sf o r ma t ion$\X i: {\cal P} _I\t o  {\c al P } _I $,$ $\lab el{e4 }\ Xi [ \mu]= \sum_{J\in {\ ma thbb{S }}} \rho_J \, \mu _J\otimes\ m u _{J^c}=\ sum_ { J\ i n {\mathbb{S}} ^{(\e mptyset)}} \rho_J \ , \mu _J\otime s \mu_{J^ c } .$$ $\Bo x$
Si nce  $\ m u _\ emptyset\equi v 1$,th en $$\l abe l{e4x}\Xi [\m u]=  \r ho _I \, \mu  + \sum_ {J \i n{\ mat hbb{S } }^{\empt ys et, I} }
\ rho_J \, \mu _J\ot imes  \ mu _ {J^ c}.$$
\ [r e m 0ax\ ]We  hav e $ \r ho_\e mpty s et= 0$, but  we can h ave $\rh o_ I> 0$. Onthe other han d,  since $\m u_ J\o times\ m u_{
aligned}$$

The above_properties (\[eab0\]),_(\[eab4\]), (\[eab\]), and $\mu^\emptyset$_an identity,_are_all we_need_from $\otimes$ to_get the results_of this work.

Note that_commutation and associativity_imply_that $\bigotimes_{L\in {{\cal D}}}\mu_L\in {\cal P}_I$ is well-defined for a partition ${{\cal D}}$ of_$I$.

For_$\otimes$ the_product_measure_we have $$\forall x\in \prod_{i\in_I}A_i: \quad 
\bigotimes_{L\in {{\cal D}}}\mu_L(x)=\prod_{L\in_
{{\cal D}}}\mu_L(x_L).$$_If ${{\cal D}}={{\cal D}}^{si}=\{\{i\}: i\in I\}$, $\bigotimes_{i\in I}_\mu_{\{i\}}$_is called Bernoulli_and $(\mu^{\{i\}}: i\in I)$ are the one-site marginals.

From now_on, we fix $\rho=(\rho_J: J\in {\mathbb{S}})$_a probability vector,_so_$\rho_J\ge_0$ for $J\in {\mathbb{S}}$_and $\sum_{J\in {\mathbb{S}}}\rho_J=1$, and that also_satisfies $\rho_\emptyset=0$.

\[def1\] Define the following transformation_$\Xi: {\cal P}_I\to {\cal P}_I$, $$\label{e4}
\Xi[\mu]= \sum_{J\in_{\mathbb{S}}} 
\rho_J \, \mu_J\otimes \mu_{J^c}=\sum_{J\in {\mathbb{S}}^{(\emptyset)}}
\rho_J_\, \mu_J\otimes \mu_{J^c}.$$ $\Box$

Since $\mu_\emptyset\equiv_1$, then_$$\label{e4x}
\Xi[\mu]= \rho_I \, \mu +_\sum_{J\in {\mathbb{S}}^{\emptyset,I}}
\rho_J \,_\mu_J\otimes \mu_{J^c}.$$

\[rem0ax\]_We have $\rho_\emptyset=0$,_but we can have $\rho_I>0$. On_the other hand,_since $\mu_J\otimes \mu_{