 prime element of the frame $I(RC(\mathbb{R}),\rho_{\mathbb{R}}, CR(\mathbb{R}))$ is a prime ideal of $CR(\mathbb{R})$.

\[imnota\] Let $(A,\rho,\BBBB)$ and $(B,\eta,\BBBB\ap)$ be LCAs, $\p:A\lra B$ be a function and $\s\ap$ be a cluster in $(B,\eta,\BBBB\ap)$. Then we set:

-   $S_{\s\ap}=\{a\in\BBBB\st (\fa b\in A)[(a\llx
    b)\rightarrow(\p(b)\in\s\ap)]\}$;

-   $V_{\s\ap}=\{a\in\BBBB\st (\ex b\in S_{\s\ap})(b\llx a)\}$;

-   $J_{\s\ap}=\BBBB\stm S_{\s\ap}$.

\[fss\] Let $(A,\rho,\BBBB)$ and $(B,\eta,\BBBB\ap)$ be LCAs and $\p:A\lra
B$ be a function satisfying conditions (DLC1)-(DLC3). Then, for every cluster $\s\ap$ in $(B,\eta,\BBBB\ap)$, $\ssi=
\{a\in\BBBB\st (\fa b\in A)[(a\llx
b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$.

Let $a\in\ssi$, $b\in A$ and $a\llx b$. Then $\p(b)\in\s\ap$. Since, by Lemma \[pf1\](b), $\p(b)\le(\p(b^*))^*$, we get that $(\p(b^*))^*\in\s\ap$. Thus $a\in R=\{a\in\BBBB\st (\fa b\in
A)[(a\llx b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$. Conversely, let $a\in R$, $b\in A$ and $a\llx b$. Then, by (BC1), there exists $c\in\BBBB$ such that $a\llx c\llx b$. Since $a\
prime element of the frame $ I(RC(\mathbb{R}),\rho_{\mathbb{R } }, CR(\mathbb{R}))$ is a prime ideal of $ CR(\mathbb{R})$. 

 \[imnota\ ] lease $ (A,\rho,\BBBB)$ and $ (B,\eta,\BBBB\ap)$ be LCAs, $ \p: A\lra B$ be a affair and $ \s\ap$ be a cluster in $ (B,\eta,\BBBB\ap)$. Then we set: 

 -    $ S_{\s\ap}=\{a\in\BBBB\st (\fa b\in A)[(a\llx 
     b)\rightarrow(\p(b)\in\s\ap)]\}$; 

 -    $ V_{\s\ap}=\{a\in\BBBB\st (\ex b\in S_{\s\ap})(b\llx a)\}$; 

 -    $ J_{\s\ap}=\BBBB\stm S_{\s\ap}$. 

 \[fss\ ] Let $ (A,\rho,\BBBB)$ and $ (B,\eta,\BBBB\ap)$ be LCAs and $ \p: A\lra 
 B$ be a routine satisfying conditions (DLC1)-(DLC3). Then, for every bunch $ \s\ap$ in $ (B,\eta,\BBBB\ap)$, $ \ssi= 
 \{a\in\BBBB\st (\fa b\in A)[(a\llx 
 b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$. 

 Let $ a\in\ssi$, $ b\in A$ and $ a\llx b$. Then $ \p(b)\in\s\ap$. Since, by Lemma \[pf1\](b), $ \p(b)\le(\p(b^*))^*$, we get that $ (\p(b^*))^*\in\s\ap$. Thus $ a\in R=\{a\in\BBBB\st (\fa b\in 
 A)[(a\llx b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$. Conversely, permit $ a\in R$, $ b\in A$ and $ a\llx b$. Then, by (BC1), there exists $ c\in\BBBB$ such that $ a\llx c\llx b$. Since $ a\
 prlme element of the frame $I(RC(\mathbb{R}),\rho_{\mcrhbb{R}}, RR(\mathbg{R}))$ is a orime ideal of $CR(\mathbb{R})$.

\[imnova\] Lwt $(A,\ryo,\BBBB)$ and $(B,\eta,\BBBB\ap)$ ce LCAs, $\p:W\lra B$ bw a hunction and $\s\ap$ be a clmfter ln $(B,\eca,\UBBB\ap)$. Then we xet:

-   $S_{\s\ap}=\{d\in\BBBB\st (\fa b\hn A)[(c\llx
    b)\rightarrow(\p(b)\in\s\ap)]\}$;

-   $V_{\s\ap}=\{a\in\FBBB\st (\rx b\in S_{\s\ap})(b\llx w)\}$;

-   $K_{\f\ap}=\BGBB\stm S_{\s\ap}$.

\[fss\] Let $(A,\rho,\BBBB)$ and $(B,\efa,\BBBB\ak)$ be LCAs and $\p:A\lrs
B$ be a function satisfyinh cojditions (DLC1)-(DLC3). Thfn, for everi cltwter $\s\ap$ in $(C,\eta,\BBBB\ap)$, $\ssi=
\{a\in\BBBB\sj (\fa b\in A)[(a\llx
b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$.

Uet $a\nn\ssi$, $b\in A$ abd $w\nlx b$. Then $\'(b)\in\s\ai$. Since, by Lemma \[pf1\](b), $\[(b)\le(\p(b^*))^*$, ee get that $(\p(b^*))^*\ln\s\ap$. Thys $a\in R=\{a\in\BBBB\st (\fa u\in
A)[(a\llx b)\rightarrow((\k(b^*))^*\in\s\ap)]\}$. Cotvzrsely, let $a\in R$, $b\in Q$ qnd $a\nlx t$. Thdb, bh (BD1), vhede exidts $c\in\BBBB$ shch that $a\lox c\llx b$. Since $a\
prime element of the frame $I(RC(\mathbb{R}),\rho_{\mathbb{R}}, CR(\mathbb{R}))$ prime of $CR(\mathbb{R})$. Let $(A,\rho,\BBBB)$ and be function and $\s\ap$ a cluster in Then we set: - $S_{\s\ap}=\{a\in\BBBB\st (\fa A)[(a\llx b)\rightarrow(\p(b)\in\s\ap)]\}$; - $V_{\s\ap}=\{a\in\BBBB\st (\ex b\in S_{\s\ap})(b\llx a)\}$; - $J_{\s\ap}=\BBBB\stm S_{\s\ap}$. \[fss\] Let and $(B,\eta,\BBBB\ap)$ be LCAs and $\p:A\lra B$ be a function satisfying conditions (DLC1)-(DLC3). for cluster in $\ssi= \{a\in\BBBB\st (\fa b\in A)[(a\llx b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$. Let $a\in\ssi$, $b\in A$ and $a\llx b$. Then $\p(b)\in\s\ap$. Since, Lemma \[pf1\](b), $\p(b)\le(\p(b^*))^*$, we get that $(\p(b^*))^*\in\s\ap$. Thus R=\{a\in\BBBB\st (\fa b\in A)[(a\llx Conversely, let $a\in R$, $b\in and b$. Then, (BC1), exists such that $a\llx b$. Since $a\
 prime element of the frame $I(RC(\Mathbb{R}),\rho_{\MathbB{R}}, Cr(\maThBb{R}))$ iS a prIme ideal of $CR(\maTHbb{R})$.

\[Imnota\] Let $(A,\rho,\BBBB)$ and $(B,\eTa,\BBBb\aP)$ Be LCaS, $\p:a\lra B$ Be a funcTIoN ANd $\s\Ap$ Be A clUsTEr In $(B,\etA,\BBbB\ap)$. TheN we set:

-   $S_{\s\ap}=\{A\in\bBbB\st (\fa b\in A)[(a\lLX
    b)\Rightarrow(\P(b)\iN\s\ap)]\}$;

-   $V_{\s\ap}=\{a\in\BbBB\St (\ex b\iN S_{\S\ap})(B\Llx a)\}$;

-   $J_{\S\ap}=\bBBB\sTm S_{\s\ap}$.

\[FSs\] Let $(A,\Rho,\BBBB)$ anD $(B,\ETa,\BBBB\AP)$ be LCAs AND $\p:a\lra
b$ be a function satisFYiNG conditions (DLC1)-(dLC3). TheN, fOR eVERy cLusTer $\s\ap$ in $(B,\eTa,\bBBB\aP)$, $\Ssi=
\{a\in\BbbB\ST (\FA b\iN a)[(a\llx
b)\rightarRow((\p(b^*))^*\in\s\ap)]\}$.

LET $a\iN\ssi$, $b\iN A$ And $A\Llx b$. ThEn $\p(b)\iN\s\AP$. SiNce, by Lemma \[pF1\](b), $\p(b)\Le(\p(b^*))^*$, we get That $(\p(b^*))^*\IN\s\ap$. ThuS $A\in R=\{a\in\bBBB\st (\Fa b\In
A)[(A\llx B)\RiGhTarRoW((\P(b^*))^*\iN\S\aP)]\}$. CoNVerSely, let $a\In r$, $b\In A$ anD $a\llX B$. tHEn, by (bC1), tHere ExistS $c\in\BBBB$ such tHat $A\llx C\Llx B$. SincE $a\
 prime element of the fram e $I(RC(\m athbb {R} ),\ rh o_{\ math bb{R}}, CR(\ma t hbb{ R}))$ is a prime ideal  of $ CR ( \mat h bb {R})$ .

\[im n ot a \ ] L et  $ (A, \r h o, \BBBB )$and $(B ,\eta,\BBB B\a p) $ be LCAs, $ \ p: A\lra B$ b e a  function an d $ \s\ap$  b e a clust erin $( B,\eta , \BBBB\ ap)$. The nw e set: 
-   $S _ { \s \ap} =\{a\in\BBBB\st ( \ fa b\in A)[(a\llx 
    b )\ r ig h t arr ow( \p(b)\in\s \a p)]\} $ ;

-  $ V_ { \ s \ap } =\{a\in\BBBB\ st (\ex b\i n  S_ {\s\ap }) (b\ l lx a)\ }$;
- $J _{\s\ap}=\B BBB\ stm S_{\s \ap}$. 
\[fss\ ]  Let $( A,\rho ,\B BBB )$ a n d$( B,\ et a ,\B B BB \ap ) $ b e LCAs a nd  $ \p:A\ lraB $ b e afun ctio n sat isfying condi tio ns ( D LC1 )-(DL C3).Then ,for e very c luste r$\s\ap$ in $(B, \eta ,\BBBB\ap )$,  $ \ss i= 
\{a\ i n\BBBB \st  (\ fa b\in  A)[(a\ l lxb) \ r i gh tarrow((\p(b^*))^* \i n \ s\ ap)]\}$. 

Let$ a\ in \ ssi$, $b \i n A $ an d $a\ll x b$ .  T hen $\p( b)\in\ s \a p$ . Since ,by Lem ma  \[ pf1 \](b) ,  $\p (b)\le (\p(b^*) )^*$, we get that $( \ p(b^*))^*\in\ s \a p $ .T hus$a\ in R=\{a\in \BBB B \st(\fa b\ inA )[(a\ llx b )\ r ig h tarrow((\p(b^*))^*\ in \s\ap) ]\}$.  Conversely,let $a\inR $ ,  $b\in A $ an d  $ a \llx b$. Then,  by ( BC1), ther e  exists$c\in \BBBB$ s uch that$ a \llx c\l lxb$.  Si nce $ a\ 
 prime_element of_the frame $I(RC(\mathbb{R}),\rho_{\mathbb{R}}, CR(\mathbb{R}))$_is a_prime_ideal of_$CR(\mathbb{R})$.

\[imnota\]_Let $(A,\rho,\BBBB)$ and_$(B,\eta,\BBBB\ap)$ be LCAs,_$\p:A\lra B$ be a_function and $\s\ap$_be_a cluster in $(B,\eta,\BBBB\ap)$. Then we set:

-   $S_{\s\ap}=\{a\in\BBBB\st (\fa b\in A)[(a\llx
 __ b)\rightarrow(\p(b)\in\s\ap)]\}$;

-___$V_{\s\ap}=\{a\in\BBBB\st (\ex b\in S_{\s\ap})(b\llx a)\}$;

-_  $J_{\s\ap}=\BBBB\stm S_{\s\ap}$.

\[fss\] Let_$(A,\rho,\BBBB)$ and_$(B,\eta,\BBBB\ap)$ be LCAs and $\p:A\lra
B$ be a function_satisfying_conditions (DLC1)-(DLC3). Then,_for every cluster $\s\ap$ in $(B,\eta,\BBBB\ap)$, $\ssi=
\{a\in\BBBB\st (\fa b\in_A)[(a\llx
b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$.

Let $a\in\ssi$, $b\in A$ and $a\llx_b$. Then $\p(b)\in\s\ap$._Since,_by_Lemma \[pf1\](b), $\p(b)\le(\p(b^*))^*$, we_get that $(\p(b^*))^*\in\s\ap$. Thus $a\in R=\{a\in\BBBB\st_(\fa b\in
A)[(a\llx b)\rightarrow((\p(b^*))^*\in\s\ap)]\}$. Conversely, let $a\in_R$, $b\in A$ and $a\llx b$. Then,_by (BC1), there exists $c\in\BBBB$ such_that $a\llx c\llx b$. Since_$a\