 It is well known that such condition implies the strong FKG property, see for example Theorem $2.19$, p. $25$ in [@Grimmett2]. By defining $$\mathcal{R}(\xi,\omega)
    \equiv
    {
        \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}
        (\xi\vee \omega)
        \over 
        \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\xi)
    },$$ one can see that the lattice condition holds if $$\begin{aligned}
\label{min}
    \mathcal{R}(\omega^{(1)},\omega^{(2)})
    \geqslant 
    \mathcal{R}(\omega^{(1)}\wedge\omega^{(2)},\omega^{(2)}).
    \end{aligned}$$ For a fixed configuration $\omega$, we chose an arbitrary order for $\eta(\omega)$ and represent these open edges as $(e_1,\ldots,e_{\vert \eta(\omega)\vert})$. So for any configuration $\xi\in\{0,1\}^{E}$ we have that $$\mathcal{R}(\xi,\omega)=\prod_{k=1}^{\vert\eta(\omega)\vert}
    \mathcal{R}(\xi\vee\omega^{(e_1)}\vee\cdots 
    \vee 
    \omega^{(e_{k-1})},\omega^{(e_{k})}),$$ where $ (\omega^{(e)})_{e'}\equiv \delta_{e,e'}$. Therefore it is enough to prove for configurations $\xi$, $\omega^{(1)}$ and $\omega^{(2)}$ such that $\xi$ has at least two zero coordinates or at most one zero and $\omega^{(1)}\equiv \xi\vee\omega^{(b)}$ and $\omega^{(2)}\equiv \xi\vee\omega^{(b')}$. Let us begin assuming that $\xi$ has at least two zero coordinates and $$\xi\equiv (*,\ldots,*,\aunderbrace[D]{0}_{ b-\mathrm{th}},
    *,\ldots,*,\aunderbrace[D]{0}_{b'\mathrm{-th}},*,\ldots,*),$$ where $b,b'\in E\cup \partial E $, $b\not=b'$ and the stars indicate generic elements in $\{0,1\}$ (not necessarily equal). If we define $$\xi^b\equiv (*,\ldots,*,\aunderbrace[D]{1
It is well known that such condition implies the strong FKG place, examine for example Theorem $ 2.19 $, p. $ 25 $ in [ @Grimmett2 ]. By defining $ $ \mathcal{R}(\xi,\omega) 
     \equiv 
     { 
         \mathcal{W}^{\mathrm { GRC}}_{V,\mathrm { spare } } 
         (\xi\vee \omega) 
         \over 
         \mathcal{W}^{\mathrm { GRC}}_{V,\mathrm { free}}(\xi) 
     }, $ $ one can witness that the lattice condition oblige if $ $ \begin{aligned } 
 \label{min } 
     \mathcal{R}(\omega^{(1)},\omega^{(2) }) 
     \geqslant 
     \mathcal{R}(\omega^{(1)}\wedge\omega^{(2)},\omega^{(2) }). 
     \end{aligned}$$ For a fixed configuration $ \omega$, we choose an arbitrary order for $ \eta(\omega)$ and represent these receptive edges as $ (e_1,\ldots, e_{\vert \eta(\omega)\vert})$. So for any shape $ \xi\in\{0,1\}^{E}$ we have that $ $ \mathcal{R}(\xi,\omega)=\prod_{k=1}^{\vert\eta(\omega)\vert } 
     \mathcal{R}(\xi\vee\omega^{(e_1)}\vee\cdots 
     \vee 
     \omega^{(e_{k-1})},\omega^{(e_{k})}),$$ where $ (\omega^{(e)})_{e'}\equiv \delta_{e, e'}$. Therefore it is enough to prove for configurations $ \xi$, $ \omega^{(1)}$ and $ \omega^{(2)}$ such that $ \xi$ has at least two zero coordinates or at most one zero and $ \omega^{(1)}\equiv \xi\vee\omega^{(b)}$ and $ \omega^{(2)}\equiv \xi\vee\omega^{(b')}$. permit us begin assuming that $ \xi$ has at least two zero coordinate and $ $ \xi\equiv (*, \ldots,*,\aunderbrace[D]{0 } _ { b-\mathrm{th } }, 
     *, \ldots,*,\aunderbrace[D]{0}_{b'\mathrm{-th}},*,\ldots,*),$$ where $ b, b'\in E\cup \partial E $, $ b\not = b'$ and the star indicate generic component in $ \{0,1\}$ (not necessarily equal). If we define $ $ \xi^b\equiv (*, \ldots,*,\aunderbrace[D]{1
 It is well known that such condition implnws the stronf FKG pruperty, see for example Theorxm $2.19$, p. $25$ in [@Grimmett2]. By defining $$\oathcal{R}(\xp,\omega)
    \equmv
    {
        \mavgcal{W}^{\mabkrm{ GDG}}_{V,\matkrn{ free}}
        (\wi\vee \omega)
        \over 
        \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\xi)
    },$$ onr fan see that tre lsetics condition holds if $$\begin{aligned}
\lzbel{min}
    \mathcal{R}(\okega^{(1)},\omega^{(2)})
    \geqslant 
    \lathfal{R}(\omega^{(1)}\wedge\omegw^{(2)},\omega^{(2)}).
    \ebd{alytned}$$ For a fkxed configuration $\omefa$, we chose an arbitrary order wor $\eca(\omega)$ and rwprfvent these ipen vdges as $(e_1,\ldobx,e_{\vert \eta(\omeba)\vert})$. So for sny cobfiguration $\xi\in\{0,1\}^{E}$ we iave that $$\mathcal{R}(\xi,\jmega)=\prod_{n=1}^{\vzrt\eta(\omega)\vert}
    \marhxal{R}(\xh\vee\mmegx^{(w_1)}\ved\cdktx 
    \vef 
    \omega^{(e_{k-1})},\kmega^{(e_{k})}),$$ wheee $ (\omega^{(e)})_{e'}\equiv \dektw_{v,r'}$. Therefore jt is qnjugh to prove for configurations $\xi$, $\omeca^{(1)}$ znd $\omega^{(2)}$ such that $\xi$ yas at least two zero coordinaees or at most one zero and $\omega^{(1)}\equiv \xi\vee\omega^{(t)}$ and $\umeyq^{(2)}\equix \xl\vee\omega^{(b')}$. Let us begin assuming that $\xi$ has wf kesst two zero cjordinates snf $$\cy\equiv (*,\ldots,*,\aonderbrcde[S]{0}_{ b-\mathrm{th}},
    *,\ldohs,*,\aundetbrace[E]{0}_{b'\mathrm{-tr}},*,\ldoys,*),$$ where $b,b'\in E\cup \partial W $, $b\not=b'$ and rhe stars indicate generic elzments in $\{0,1\}$ (mot necessarily equal). Iy we dsfine $$\xi^b\eqkiv (*,\ldots,*,\zjnderbrace[D]{1
It is well known that such condition strong property, see example Theorem $2.19$, defining \equiv { \mathcal{W}^{\mathrm{ free}} (\xi\vee \omega) \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\xi) },$$ one can that the lattice condition holds if $$\begin{aligned} \label{min} \mathcal{R}(\omega^{(1)},\omega^{(2)}) \geqslant \mathcal{R}(\omega^{(1)}\wedge\omega^{(2)},\omega^{(2)}). \end{aligned}$$ For fixed configuration $\omega$, we chose an arbitrary order for $\eta(\omega)$ and represent these edges $(e_1,\ldots,e_{\vert So any configuration $\xi\in\{0,1\}^{E}$ we have that $$\mathcal{R}(\xi,\omega)=\prod_{k=1}^{\vert\eta(\omega)\vert} \mathcal{R}(\xi\vee\omega^{(e_1)}\vee\cdots \vee \omega^{(e_{k-1})},\omega^{(e_{k})}),$$ where $ (\omega^{(e)})_{e'}\equiv \delta_{e,e'}$. Therefore it enough to prove for configurations $\xi$, $\omega^{(1)}$ and such that $\xi$ has least two zero coordinates or most zero and \xi\vee\omega^{(b)}$ $\omega^{(2)}\equiv Let us begin that $\xi$ has at least two zero coordinates and $$\xi\equiv (*,\ldots,*,\aunderbrace[D]{0}_{ b-\mathrm{th}}, *,\ldots,*,\aunderbrace[D]{0}_{b'\mathrm{-th}},*,\ldots,*),$$ where $b,b'\in E\cup \partial $, $b\not=b'$ stars indicate elements $\{0,1\}$ necessarily equal). If $$\xi^b\equiv (*,\ldots,*,\aunderbrace[D]{1
 It is well known that such condItion impliEs the StrOng fKg proPertY, see for example tHeorEm $2.19$, p. $25$ in [@Grimmett2]. By defininG $$\mathCaL{r}(\xi,\oMEgA)
    \equiV
    {
        \mathcaL{w}^{\mATHrm{ gRc}}_{V,\MatHrM{ FrEe}}
        (\xi\vEe \oMega)
        \oveR 
        \mathcal{W}^{\mAthRm{ gRC}}_{V,\mathrm{ frEE}}(\xI)
    },$$ one can see ThaT the lattice cOndItion hOlDs iF $$\Begin{AliGned}
\lAbel{miN}
    \MathcaL{R}(\omega^{(1)},\omEgA^{(2)})
    \GeqslaNT 
    \mathcaL{r}(\OmEga^{(1)}\wEdge\omega^{(2)},\omega^{(2)}).
    \end{ALiGNed}$$ For a fixed coNfigurAtIOn $\OMEga$, We cHose an arbiTrAry orDEr for $\etA(\OmEGA)$ And REpresent these Open edges as $(E_1,\LdoTs,e_{\verT \eTa(\oMEga)\verT})$. So foR aNY coNfiguration $\Xi\in\{0,1\}^{e}$ we have thAt $$\mathCAl{R}(\xi,\omEGa)=\prod_{k=1}^{\Vert\etA(\omEga)\Vert}
    \MAtHcAl{R}(\Xi\VEe\oMEgA^{(e_1)}\vEE\cdOts 
    \vee 
    \omEgA^{(e_{K-1})},\omegA^{(e_{k})}),$$ wHERE $ (\OmegA^{(e)})_{e'}\EquiV \deltA_{e,e'}$. Therefore iT is EnouGH to Prove For coNfigUrAtionS $\xi$, $\omeGa^{(1)}$ and $\OmEga^{(2)}$ such that $\xi$ haS at lEast two zeRo cOoRdiNaTes or AT most oNe zEro And $\omegA^{(1)}\equiv \xI\Vee\OmEGA^{(B)}$ aNd $\omega^{(2)}\equiv \xi\vee\oMeGA^{(B')}$. LEt us begiN assumINg ThAT $\xi$ has at LeAst Two zERO coorDinaTEs And $$\xi\equIv (*,\ldotS,*,\AuNdErbrace[d]{0}_{ b-\Mathrm{Th}},
    *,\LdoTs,*,\aUnderBRace[d]{0}_{b'\mathRm{-th}},*,\ldotS,*),$$ wherE $B,b'\in E\cup \partiaL e $, $b\not=b'$ and the sTArS INdICate GenEric elementS in $\{0,1\}$ (nOT necEssaRIlY eqUAl). If wE defiNe $$\XI^b\EQuiv (*,\ldots,*,\aunderbracE[D]{1
 It is well known that suc h conditio n imp lie s t he  str ongFKG property,s ee f or example Theorem $2. 19$,p. $25$ in  [@Gr immett2 ] .B y  de fi ni ng$$ \ ma thcal {R} (\xi,\o mega)
   \eq ui v
    {
     \mathcal{ W}^ {\mathrm{ GR C}} _{V,\m at hrm {  free }}       (\x i \vee \ omega)
     \ov e r 
    \mat hcal{W}^{\mathrm{ GR C }}_{V,\mathrm{  free} }( \ xi )    }, $$ one can  s ee th a t the l a tt i c e  co n dition holdsif $$\begin { ali gned}\l abe l {min}    \ ma t hca l{R}(\omega ^{(1 )},\omega ^{(2)} ) 
    \g e qslant
    \ mat hca l{R} ( \o me ga^ {( 1 )}\ w ed ge\ o meg a^{(2)}, \o me ga^{( 2)}) .   \e nd{ alig ned}$ $ For a fixed  co nfig u rat ion $ \omeg a$,we  chos e an a rbitr ar y order for $\e ta(\ omega)$ a ndre pre se nt th e se ope n e dge s as $( e_1,\ld o ts, e_ { \ v er t \eta(\omega)\ver t} ) $ .So for a ny con f ig ur a tion $\x i\ in\ {0,1 \ } ^{E}$  weh av e that $ $\math c al {R }(\xi,\ om ega)=\ pr od_ {k= 1}^{\ v ert\ eta(\o mega)\ve rt}
  \mathcal{R}( \ xi\vee\omega^ { (e _ 1 )} \ vee\ cdo ts 
    \ve e 
  \o mega ^ {( e_{ k -1})} ,\ome ga ^ {( e _{k})}),$$ where $(\ omega^ {(e)} )_{e'}\equiv\delta_{e, e ' } $. There fore it is enough to p rovefor config u rations$\xi$ , $\omeg a^{(1)}$a n d $\omeg a^{ (2) }$suc h th at $\xi$ hasa t  lea st  two ze rocoordin ate s o r a t m os t one zer o and $\ om eg a^ {( 1)} \equi v  \xi\vee \o meg a^ {(b )}$ a n d $\om ega^{ (2)} \e qu i v \ xi\vee\ o me g a ^{(b ') }$ . Le t u sbegin  ass u min g that$\xi$ has  at leas ttw o zerocoordinates a nd  $$\xi\equ iv  (* ,\ldot s , *,\aunde rbrace[D]{0}_{ b-\mathr m {th}},   *,\l dots ,*,\aunde rbr ace[D] {0} _ {b'\ma thrm{- th}}, *, \ld o t s,*), $ $  w her e$b,b'\in E \ c up\part ia l E$, $b\n ot=b'$ and the sta r s i ndicate gener icelem e n ts  in $\ { 0,1 \} $  (n o t  necessarily eq ual). If w ed ef ine $$\xi^ b \eq ui v (*,\l dots,*, \aund e rbrace[ D]{1
 It_is well_known that such condition_implies the_strong_FKG property,_see_for example Theorem_$2.19$, p. $25$_in [@Grimmett2]. By defining_$$\mathcal{R}(\xi,\omega)
  __\equiv
    {
        \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{_free}}
_ ___   (\xi\vee \omega)
_    _ _\over 
      __\mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ free}}(\xi)
_   },$$ one can see that the_lattice condition holds if $$\begin{aligned}
\label{min}
 _  \mathcal{R}(\omega^{(1)},\omega^{(2)})
___ \geqslant 
 _  \mathcal{R}(\omega^{(1)}\wedge\omega^{(2)},\omega^{(2)}).
   _\end{aligned}$$ For a fixed configuration $\omega$,_we chose an arbitrary order for $\eta(\omega)$_and represent these open edges as_$(e_1,\ldots,e_{\vert \eta(\omega)\vert})$. So for any_configuration $\xi\in\{0,1\}^{E}$_we have that $$\mathcal{R}(\xi,\omega)=\prod_{k=1}^{\vert\eta(\omega)\vert}
 _  \mathcal{R}(\xi\vee\omega^{(e_1)}\vee\cdots_
 _  \vee_
    \omega^{(e_{k-1})},\omega^{(e_{k})}),$$ where_$ (\omega^{(e)})_{e'}\equiv \delta_{e,e'}$._Therefore it is enough to prove_for_configurations $\xi$, $\omega^{(1)}$_and_$\omega^{(2)}$_such that_$\xi$ has at_least_two zero_coordinates_or at most one zero and_$\omega^{(1)}\equiv_\xi\vee\omega^{(b)}$ and $\omega^{(2)}\equiv \xi\vee\omega^{(b')}$. Let us begin_assuming that $\xi$ has_at_least two zero coordinates_and $$\xi\equiv (*,\ldots,*,\aunderbrace[D]{0}_{ b-\mathrm{th}},
 _  *,\ldots,*,\aunderbrace[D]{0}_{b'\mathrm{-th}},*,\ldots,*),$$ where $b,b'\in E\cup_\partial E_$, $b\not=b'$_and the stars indicate generic elements in $\{0,1\}$ (not necessarily equal)._If we define $$\xi^b\equiv (*,\ldots,*,\aunderbrace[D]{1