uklm\], we obtain that $\p(c^*)\le\p\cuk(a^*)$. Since $\p(d)\le\p\cuk(b)$, we get that $(\p\cuk(a^*))^*\le (\p(c^*))^*\lle
\p(d)\le\p\cuk(b)$. Therefore, $(\p\cuk(a^*))^*\lle\p\cuk(b)$. So, (DLC3) is fulfilled.

For verifying (DLC4), let $b\in\BBBB$. Then there exists $a\in\BBBB$ such that $b\le\p(a)$. By (BC1), there exists $a_1\in\BBBB$ with $a\llx a_1$. Then $b\le\p(a)\le\p\cuk(a_1)$. Thus, $\p\cuk$ satisfies condition (DLC4).

\[assocuk\] Let $\p_i:(A_i,\rho_i,\BBBB_i)\lra
(A_{i+1},\rho_{i+1},\BBBB_{i+1})$, where $i=1,2$, be two functions between CLCAs. Then:

\(a) $(\p_2\cuk\circ\p_1)\cuk=(\p_2\circ\p_1)\cuk$;

\(b) If $\p_1$ and $\p_2$ are monotone functions, then $(\p_2\circ\p_1\cuk)\cuk=(\p_2\circ\p_1)\cuk$;

\(c) If $\p_1$ and $\p_2$ satisfy conditions (DLC1)-(DLC5) then the function $\p_2\circ\p_1$ satisfies conditions (DLC1)-(DLC4) and even condition (DLC3S).

We will write, for $i=1,2$, $``\ll_i$“ instead of $``\ll_{\rho_i}$”. We also set $\p=\p_2\circ\p_1$.

\(a) Let $a\in A_1$. Then $(\p_2\cuk\circ\p_1)\cuk(a)=\bv\{\p_
uklm\ ], we obtain that $ \p(c^*)\le\p\cuk(a^*)$. Since $ \p(d)\le\p\cuk(b)$, we get that $ (\p\cuk(a^*))^*\le (\p(c^*))^*\lle 
 \p(d)\le\p\cuk(b)$. Therefore, $ (\p\cuk(a^*))^*\lle\p\cuk(b)$. So, (DLC3) is satisfy. 

 For verifying (DLC4), lease $ b\in\BBBB$. Then there exists $ a\in\BBBB$ such that $ b\le\p(a)$. By (BC1), there exists $ a_1\in\BBBB$ with $ a\llx a_1$. Then $ b\le\p(a)\le\p\cuk(a_1)$. Thus, $ \p\cuk$ satisfies circumstance (DLC4). 

 \[assocuk\ ] Let $ \p_i:(A_i,\rho_i,\BBBB_i)\lra 
 (A_{i+1},\rho_{i+1},\BBBB_{i+1})$, where $ i=1,2 $, be two functions between CLCAs. Then: 

 \(a) $ (\p_2\cuk\circ\p_1)\cuk=(\p_2\circ\p_1)\cuk$; 

 \(b) If $ \p_1 $ and $ \p_2 $ are monotone functions, then $ (\p_2\circ\p_1\cuk)\cuk=(\p_2\circ\p_1)\cuk$; 

 \(c) If $ \p_1 $ and $ \p_2 $ satisfy circumstance (DLC1)-(DLC5) then the function $ \p_2\circ\p_1 $ satisfies conditions (DLC1)-(DLC4) and even circumstance (DLC3S). 

 We will spell, for $ i=1,2 $, $ '` \ll_i$ “ instead of $ '` \ll_{\rho_i}$ ”. We besides set $ \p=\p_2\circ\p_1$. 

 \(a) Let $ a\in A_1$. Then $ (\p_2\cuk\circ\p_1)\cuk(a)=\bv\{\p _
ukll\], we obtain that $\p(c^*)\le\p\cuy(a^*)$. Since $\p(d)\le\p\cok(v)$, we gxt that $(\p\cuk(a^*))^*\le (\p(c^*))^*\lle
\p(d)\le\p\cuk(b)$. Therefore, $(\p\cnk(a^*))^*\loe\p\cuj(b)$. So, (DLC3) is fulfilled.

Wor verifjing (DLC4), oet $u\in\BBBB$. Then thecs exists $a\in\BGNB$ sueh that $b\le\p(a)$. By (BC1), there axists $a_1\in\BBBB$ wktk $a\llx a_1$. Then $b\le\p(a)\le\p\cuk(a_1)$. Thus, $\p\cuk$ satisfoed condition (DLS4).

\[asspsuk\] Mvt $\p_i:(A_i,\rho_i,\BBBB_i)\lra
(A_{i+1},\rho_{i+1},\BBBB_{i+1})$, shere $i=1,2$, be two functoons between CLCAs. Then:

\(a) $(\p_2\fuk\clrc\p_1)\cuk=(\p_2\circ\p_1)\cuk$;

\(b) Lf $\p_1$ and $\p_2$ qre iinotone funcgions, then $(\p_2\circ\p_1\cuk)\cui=(\p_2\circ\p_1)\cuk$;

\(c) If $\p_1$ and $\p_2$ satisfy zondicions (DLC1)-(DLX5) rhej the functiin $\p_2\cprc\p_1$ satisfies condithons (DLV1)-(DLC4) and even gondivion (DLC3S).

We will write, foc $i=1,2$, $``\ll_i$“ instead of $``\lj_{\rho_i}$”. We dlao set $\p=\p_2\circ\p_1$.

\(a) Lwt $a\in D_1$. Than $(\p_2\zyk\ckrc\k_1)\cul(a)=\gv\{\p_
uklm\], we obtain that $\p(c^*)\le\p\cuk(a^*)$. Since $\p(d)\le\p\cuk(b)$, that (\p(c^*))^*\lle \p(d)\le\p\cuk(b)$. $(\p\cuk(a^*))^*\lle\p\cuk(b)$. So, (DLC3) let Then there exists such that $b\le\p(a)$. (BC1), there exists $a_1\in\BBBB$ with $a\llx Then $b\le\p(a)\le\p\cuk(a_1)$. Thus, $\p\cuk$ satisfies condition (DLC4). \[assocuk\] Let $\p_i:(A_i,\rho_i,\BBBB_i)\lra (A_{i+1},\rho_{i+1},\BBBB_{i+1})$, where $i=1,2$, two functions between CLCAs. Then: \(a) $(\p_2\cuk\circ\p_1)\cuk=(\p_2\circ\p_1)\cuk$; \(b) If $\p_1$ and $\p_2$ are functions, $(\p_2\circ\p_1\cuk)\cuk=(\p_2\circ\p_1)\cuk$; If and $\p_2$ satisfy conditions (DLC1)-(DLC5) then the function $\p_2\circ\p_1$ satisfies conditions (DLC1)-(DLC4) and even condition (DLC3S). will write, for $i=1,2$, $``\ll_i$“ instead of $``\ll_{\rho_i}$”. also set $\p=\p_2\circ\p_1$. \(a) $a\in A_1$. Then $(\p_2\cuk\circ\p_1)\cuk(a)=\bv\{\p_
uklm\], we obtain that $\p(c^*)\le\p\cuk(a^*)$. since $\p(d)\le\p\Cuk(b)$, wE geT thAt $(\P\cuk(A^*))^*\le (\p(C^*))^*\lle
\p(d)\le\p\cuk(b)$. THErefOre, $(\p\cuk(a^*))^*\lle\p\cuk(b)$. So, (DLC3) iS fulfIlLEd.

FoR VeRifyiNg (DLC4), leT $B\iN\bbBB$. thEn TheRe EXiSts $a\iN\BBbB$ such tHat $b\le\p(a)$. By (bC1), tHeRe exists $a_1\in\BbbB$ With $a\llx a_1$. THen $B\le\p(a)\le\p\cuk(a_1)$. thuS, $\p\cuk$ sAtIsfIEs conDitIon (DLc4).

\[assocUK\] Let $\p_i:(a_i,\rho_i,\BBBb_i)\LRa
(A_{i+1},\rhO_{I+1},\BBBB_{i+1})$, wHERe $I=1,2$, be tWo functions betweeN cLcas. Then:

\(a) $(\p_2\cuk\cirC\p_1)\cuk=(\p_2\CiRC\p_1)\CUK$;

\(b) IF $\p_1$ aNd $\p_2$ are monoToNe funCTions, thEN $(\p_2\CIRC\p_1\cUK)\cuk=(\p_2\circ\p_1)\cuk$;

\(C) If $\p_1$ and $\p_2$ satISfy ConditIoNs (Dlc1)-(DLC5) thEn the FuNCtiOn $\p_2\circ\p_1$ satIsfiEs conditiOns (DLC1)-(dlC4) and evEN conditIon (DLC3s).

We WilL wriTE, fOr $I=1,2$, $``\ll_I$“ iNSteAD oF $``\ll_{\RHo_i}$”. we also seT $\p=\P_2\cIrc\p_1$.

\(a) let $a\IN a_1$. tHen $(\p_2\Cuk\Circ\P_1)\cuk(a)=\Bv\{\p_
uklm\], we obtain that $\p (c^*)\le\p \cuk( a^* )$.  S ince  $\p (d)\le\p\cuk(b ) $, w e get that $(\p\cuk(a^ *))^* \l e  (\p ( c^ *))^* \lle
\p ( d) \ l e\p \c uk (b) $. Th erefo re,  $(\p\c uk(a^*))^* \ll e\ p\cuk(b)$. S o ,(DLC3) isful filled.

For  ve rifyin g(DL C 4), l et$b\in \BBBB$ .  Thenthere exi st s  $a\in \ BBBB$ s u c hthat  $b\le\p(a)$. By( BC 1 ), there exist s $a_1 \i n \B B B B$wit h $a\llx a _1 $. Th e n $b\le \ p( a ) \ le\ p \cuk(a_1)$. T hus, $\p\cu k $ s atisfi es  co n dition  (DLC 4) . 

\ [assocuk\]Let$\p_i:(A_ i,\rho _ i,\BBBB _ i)\lra(A_{i+ 1}, \rh o_{i + 1} ,\ BBB B_ { i+1 } )$ , w h ere  $i=1,2$ ,be  twofunc t i o n s be twe en C LCAs.  Then:

\(a)$(\ p_2\ c uk\ circ\ p_1)\ cuk= (\ p_2\c irc\p_ 1)\cu k$ ;

\(b) If $\p_ 1$ a nd $\p_2$  ar emon ot one f u nction s,the n $(\p_ 2\circ\ p _1\ cu k ) \ cu k=(\p_2\circ\p_1)\ cu k $ ;
\(c) If  $\p_1 $  a nd $\p_2$ s at isf y co n d ition s (D L C1 )-(DLC5)  thent he  f unction  $ \p_2\c ir c\p _1$  sati s fies  condi tions (D LC1)- ( DLC4) and even condition (DL C 3S ) . 
W e wi llwrite, for$i=1 , 2$,$``\ l l_ i$“ inste ad of  $ ` `\ l l_{\rho_i}$”. We al so  set $ \p=\p _2\circ\p_1$. 

\(a) Let $ a \in A_1$ . Th e n$ (\p_2\cuk\circ \p_1) \cuk(a)=\b v \{\p_
uklm\], we_obtain that_$\p(c^*)\le\p\cuk(a^*)$. Since $\p(d)\le\p\cuk(b)$, we_get that_$(\p\cuk(a^*))^*\le_(\p(c^*))^*\lle
\p(d)\le\p\cuk(b)$. Therefore,_$(\p\cuk(a^*))^*\lle\p\cuk(b)$._So, (DLC3) is_fulfilled.

For verifying (DLC4),_let $b\in\BBBB$. Then there_exists $a\in\BBBB$ such_that_$b\le\p(a)$. By (BC1), there exists $a_1\in\BBBB$ with $a\llx a_1$. Then $b\le\p(a)\le\p\cuk(a_1)$. Thus, $\p\cuk$ satisfies_condition_(DLC4).

\[assocuk\] Let_$\p_i:(A_i,\rho_i,\BBBB_i)\lra
(A_{i+1},\rho_{i+1},\BBBB_{i+1})$,_where_$i=1,2$, be two functions between_CLCAs. Then:

\(a) $(\p_2\cuk\circ\p_1)\cuk=(\p_2\circ\p_1)\cuk$;

\(b) If $\p_1$_and $\p_2$_are monotone functions, then $(\p_2\circ\p_1\cuk)\cuk=(\p_2\circ\p_1)\cuk$;

\(c) If $\p_1$ and_$\p_2$_satisfy conditions (DLC1)-(DLC5)_then the function $\p_2\circ\p_1$ satisfies conditions (DLC1)-(DLC4) and even_condition (DLC3S).

We will write, for $i=1,2$,_$``\ll_i$“ instead of_$``\ll_{\rho_i}$”._We_also set $\p=\p_2\circ\p_1$.

\(a) Let_$a\in A_1$. Then $(\p_2\cuk\circ\p_1)\cuk(a)=\bv\{\p_