\llx a)\we
%\mbox{ and }
(c\lle\p(b))]\}.$$ Let $\s\ap\in f_\p\inv(\int(\lag(a))$. Then $f_\p(\s\ap)=\s\in\int(\lag(a))$. Hence $a^*\nin\s$. Now, by \[cluendcor\], there exists $a_1\in A$ such that $a^*\llcr
a_1^*$ and $a_1^*\nin\s$. We get that $a_1\llcr a$ and $a_1\in\s\cap\BBBB=\ssi$. Since $a_1\llx a$, there exist $a_2,b\in\BBBB$ such that $a_1\llx a_2\llx b\llx a$. Then, by the definition of the set $\ssi$, $\p(a_2)\in\s\ap$. By \[pf1\](b) (resp., by \[remlc3\]), $\p(a_2)\lle\p(b)$. Now, Proposition \[bbcl1\](a) implies that there exists $c\in\BBBB\ap\cap\s\ap$ such that $c\lle\p(b)$. Thus $\s\ap\in\lbg(c)$, where $c\in\BBBB\ap$, $c\lle\p(b)$ and $b\llx a$. This means that $\s\ap\in\iota_B(D_\p(a))$. Hence, $f_\p\inv(\int(\lag(a))\sbe\iota_B(D_\p(a))$.

Conversely, let $\s\ap\in\iota_B(D_\p(a))$ and $\s=f_\p(\s\ap)$. Then there exist $b\in\BBBB$ and $c\in\BBBB\ap$ such that $b\llx
a$, $c\lle\p(b)$ and $\s\ap\in\lbg(c)$. Thus $c\in\s\ap$ and hence $\p(b)\in\s\ap$. This implies that $b\in\ssi=\BBBB\cap\s$. Since $b\in\BBBB
\llx a)\we 
% \mbox { and } 
 (c\lle\p(b))]\}.$$ Let $ \s\ap\in f_\p\inv(\int(\lag(a))$. Then $ f_\p(\s\ap)=\s\in\int(\lag(a))$. Hence $ a^*\nin\s$. Now, by \[cluendcor\ ], there exists $ a_1\in A$ such that $ a^*\llcr 
 a_1^*$ and $ a_1^*\nin\s$. We draw that $ a_1\llcr a$ and $ a_1\in\s\cap\BBBB=\ssi$. Since $ a_1\llx a$, there exist $ a_2,b\in\BBBB$ such that $ a_1\llx a_2\llx b\llx a$. Then, by the definition of the located $ \ssi$, $ \p(a_2)\in\s\ap$. By \[pf1\](b) (resp. , by \[remlc3\ ]), $ \p(a_2)\lle\p(b)$. Now, Proposition \[bbcl1\](a) implies that there exists $ c\in\BBBB\ap\cap\s\ap$ such that $ c\lle\p(b)$. therefore $ \s\ap\in\lbg(c)$, where $ c\in\BBBB\ap$, $ c\lle\p(b)$ and $ b\llx a$. This means that $ \s\ap\in\iota_B(D_\p(a))$. Hence, $ f_\p\inv(\int(\lag(a))\sbe\iota_B(D_\p(a))$. 

 Conversely, let $ \s\ap\in\iota_B(D_\p(a))$ and $ \s = f_\p(\s\ap)$. Then there exist $ b\in\BBBB$ and $ c\in\BBBB\ap$ such that $ b\llx 
 a$, $ c\lle\p(b)$ and $ \s\ap\in\lbg(c)$. therefore $ c\in\s\ap$ and therefore $ \p(b)\in\s\ap$. This implies that $ b\in\ssi=\BBBB\cap\s$. Since $ b\in\BBBB
\llx a)\we
%\mbox{ and }
(c\lle\p(b))]\}.$$ Let $\r\ap\in f_\p\inv(\int(\lct(a))$. Thei $f_\p(\s\ap)=\a\in\int(\lae(a))$. Hence $a^*\nin\s$. Now, by \[cluendror\], rhere exists $a_1\in A$ such thag $a^*\llcr
a_1^*$ wnd $a_1^*\nin\w$. We tet that $a_1\llcr a$ akb $a_1\in\a\gap\BBYB=\wsi$. Since $a_1\llx a$, there efist $a_2,b\in\BBBB$ vuzh that $a_1\llx a_2\llx b\llx a$. Then, by the qefinitooj of the set $\sfi$, $\p(s_2)\yn\s\al$. By \[pf1\](b) (resp., by \[remlc3\]), $\p(a_2)\lle\p(b)$. Now, Proposption \[bbcl1\](a) implirs that there exists $c\in\BBHB\ap\fap\s\ap$ such that $c\ple\p(b)$. Thus $\w\ap\ig\obg(c)$, where $c\kn\BBBB\ap$, $c\lle\p(b)$ and $b\lmx a$. This means that $\s\ap\in\iota_B(A_\p(a))$. Hznce, $f_\p\inv(\ibt(\oag(w))\vbe\iota_B(D_\p(a))$.

Ronverfely, let $\s\ap\lm\iota_B(G_\p(a))$ and $\s=f_\p(\s\ap)$. Then tmere xxisr $b\in\BBBB$ and $c\in\BBBB\ep$ such that $b\llx
a$, $c\jle\p(b)$ and $\s\cp\in\lbg(c)$. Thus $c\in\s\ap$ qne henwe $\p(t)\in\s\xp$. Tfis ikpmies tjat $b\in\ssi=\BBBG\cap\s$. Since $b\in\BBBB
\llx a)\we %\mbox{ and } (c\lle\p(b))]\}.$$ Let Then Hence $a^*\nin\s$. by \[cluendcor\], there $a^*\llcr and $a_1^*\nin\s$. We that $a_1\llcr a$ $a_1\in\s\cap\BBBB=\ssi$. Since $a_1\llx a$, there exist such that $a_1\llx a_2\llx b\llx a$. Then, by the definition of the set $\p(a_2)\in\s\ap$. By \[pf1\](b) (resp., by \[remlc3\]), $\p(a_2)\lle\p(b)$. Now, Proposition \[bbcl1\](a) implies that there $c\in\BBBB\ap\cap\s\ap$ that Thus where $c\in\BBBB\ap$, $c\lle\p(b)$ and $b\llx a$. This means that $\s\ap\in\iota_B(D_\p(a))$. Hence, $f_\p\inv(\int(\lag(a))\sbe\iota_B(D_\p(a))$. Conversely, let $\s\ap\in\iota_B(D_\p(a))$ and Then there exist $b\in\BBBB$ and $c\in\BBBB\ap$ such that a$, $c\lle\p(b)$ and $\s\ap\in\lbg(c)$. $c\in\s\ap$ and hence $\p(b)\in\s\ap$. This that Since $b\in\BBBB
\llx a)\we
%\mbox{ and }
(c\lle\p(b))]\}.$$ Let $\s\ap\In f_\p\inv(\int(\Lag(a))$. THen $F_\p(\s\Ap)=\S\in\iNt(\laG(a))$. Hence $a^*\nin\s$. NoW, By \[clUendcor\], there exists $a_1\in A$ Such tHaT $A^*\llcR
A_1^*$ aNd $a_1^*\niN\s$. We get THaT $A_1\LlcR a$ AnD $a_1\iN\s\CAp\bBBB=\sSi$. SInce $a_1\llX a$, there exiSt $a_2,B\iN\BBBB$ such thaT $A_1\lLx a_2\llx b\llx A$. ThEn, by the definItiOn of thE sEt $\sSI$, $\p(a_2)\in\S\ap$. by \[pf1\](b) (Resp., by \[REmlc3\]), $\p(a_2)\Lle\p(b)$. Now, PRoPOsitioN \[Bbcl1\](a) imPLIeS thaT there exists $c\in\BBbb\aP\Cap\s\ap$ such that $C\lle\p(b)$. thUS $\s\AP\In\lBg(c)$, Where $c\in\BBbB\Ap$, $c\llE\P(b)$ and $b\lLX a$. tHIS meANs that $\s\ap\in\ioTa_B(D_\p(a))$. Hence, $F_\P\inV(\int(\laG(a))\Sbe\IOta_B(D_\p(A))$.

ConvErSEly, Let $\s\ap\in\iotA_B(D_\p(A))$ and $\s=f_\p(\s\aP)$. Then tHEre exisT $B\in\BBBB$ And $c\in\bBBb\ap$ Such THaT $b\Llx
A$, $c\LLe\p(B)$ AnD $\s\aP\In\lBg(c)$. Thus $c\In\S\aP$ and hEnce $\P(B)\IN\S\ap$. THis ImplIes thAt $b\in\ssi=\BBBB\cAp\s$. sincE $B\in\bBBB
\llx a)\we
%\mbox{ and }
( c\lle\p(b) )]\}. $$Let  $ \s\a p\in  f_\p\inv(\int ( \lag (a))$. Then $f_\p(\s\a p)=\s \i n \int ( \l ag(a) )$. Hen c e$ a ^*\ ni n\ s$.  N o w,  by \ [cl uendcor \], thereexi st s $a_1\in A$ su ch that $a ^*\ llcr
a_1^*$and  $a_1^ *\ nin \ s$. W e g et th at $a_ 1 \llcra$ and $a _1 \ in\s\c a p\BBBB= \ s si $. S ince $a_1\llx a$, th e re exist $a_2, b\in\B BB B $s u chtha t $a_1\llx  a _2\ll x  b\llxa $. T h en, by the defini tion of the set  $\ssi $,  $\ p (a_2)\ in\s\ ap $ . B y \[pf1\](b ) (r esp., by\[reml c 3\]), $ \ p(a_2)\ lle\p( b)$ . N ow,P ro po sit io n  \[ b bc l1\ ] (a)  implies  t ha t the re e x i s t s $c \in \BBB B\ap\ cap\s\ap$ suc h t hat$ c\l le\p( b)$.Thus  $ \s\ap \in\lb g(c)$ ,where $c\in\BBB B\ap $, $c\lle \p( b) $ a nd  $b\l l x a$.Thi s m eans th at $\s\ a p\i n\ i o t a_ B(D_\p(a))$. Hence ,$ f _\ p\inv(\i nt(\la g (a )) \ sbe\iota _B (D_ \p(a ) ) $.

C onve r se ly, let$\s\ap \ in \i ota_B(D _\ p(a))$  a nd$\s =f_\p ( \s\a p)$. T hen ther e exi s t $b\in\BBBB$a nd $c\in\BBBB \ ap $ su c h th at$b\llx
a$,$c\l l e\p( b)$a nd  $\ s \ap\i n\lbg (c ) $. Thus $c\in\s\ap$ an dhence$\p(b )\in\s\ap$. T his implie s t hat $b\i n\ss i =\ B BBB\cap\s$. Si nce $ b\in\BBBB
\llx a)\we
%\mbox{_and }
(c\lle\p(b))]\}.$$_Let $\s\ap\in f_\p\inv(\int(\lag(a))$. Then_$f_\p(\s\ap)=\s\in\int(\lag(a))$. Hence_$a^*\nin\s$._Now, by_\[cluendcor\],_there exists $a_1\in_A$ such that_$a^*\llcr
a_1^*$ and $a_1^*\nin\s$. We_get that $a_1\llcr_a$_and $a_1\in\s\cap\BBBB=\ssi$. Since $a_1\llx a$, there exist $a_2,b\in\BBBB$ such that $a_1\llx a_2\llx b\llx a$._Then,_by the_definition_of_the set $\ssi$, $\p(a_2)\in\s\ap$. By_\[pf1\](b) (resp., by \[remlc3\]), $\p(a_2)\lle\p(b)$._Now, Proposition_\[bbcl1\](a) implies that there exists $c\in\BBBB\ap\cap\s\ap$ such that_$c\lle\p(b)$._Thus $\s\ap\in\lbg(c)$, where_$c\in\BBBB\ap$, $c\lle\p(b)$ and $b\llx a$. This means that $\s\ap\in\iota_B(D_\p(a))$._Hence, $f_\p\inv(\int(\lag(a))\sbe\iota_B(D_\p(a))$.

Conversely, let $\s\ap\in\iota_B(D_\p(a))$ and $\s=f_\p(\s\ap)$._Then there exist_$b\in\BBBB$_and_$c\in\BBBB\ap$ such that $b\llx
a$,_$c\lle\p(b)$ and $\s\ap\in\lbg(c)$. Thus $c\in\s\ap$ and_hence $\p(b)\in\s\ap$. This implies that $b\in\ssi=\BBBB\cap\s$._Since $b\in\BBBB