 satisfying conditions (DLC1)-(DLC5) (or conditions (DLC1), (DLC2), (LC3), (DLC4), (DLC5)). Then $\p$ satisfies conditions (DLC3S) and (LC3S) as well.

Let $f=f_\p$ (see Lemma \[funcon\] for $f_\p$) and $\p\ap=\p_f$ (see Lemma \[phief\] for $\p_f$). Then, by Lemma \[commdiagr\], $\lbg\circ\p=\p\ap\circ\lag$. Since the function $\p\ap$ satisfies conditions (DLC3S) and (LC3S) (by Lemma \[phief\]) and the functions $\lag$ and $\lbg$ are LCA-isomorphisms, we get that the function $\p$ satisfies conditions (DLC3S) and (LC3S) as well.

The above lemma implies the following fact mentioned in the previous section:

\[dlc3sax\] Condition (DLC3) in Definition \[dhc\] can be replaced by any of the conditions (DLC3S), (LC3) and (LC3S) (i.e., we obtain equivalent systems of axioms by these replacements).

\[compos1\] Let $\p:(A,\rho,\BBBB)\lra (B,\eta,\BBBB\ap)$ be a function between CLCAs and let $\p$ satisfy conditions (DLC1)-(DLC4). Then the function $\p\cuk$ (see (\[cukf\])) satisfies conditions (DLC1)-(DLC5).

Obviously, for every $a\in A$, $\p\cuk(a)\le\p(a)$. Hence, $\p\cuk(0)=0$, i.e. (DLC1) is fulfilled. For (DLC2) and (DLC5) see \[pf1\](d).

Let $a\in\BBBB, b\in A$ and $a\llx b$. Then, by (BC1), there exist $c,d\in\BBBB$ such that $a\llx c\llx d\llx b$. Thus $a\llcr c$ and hence $c^*\llcr a^*$. Now, using Lemma \[c
satisfying conditions (DLC1)-(DLC5) (or conditions (DLC1), (DLC2), (LC3), (DLC4), (DLC5) ). Then $ \p$ satisfies conditions (DLC3S) and (LC3S) equally well. 

 lease $ f = f_\p$ (see Lemma \[funcon\ ] for $ f_\p$) and $ \p\ap=\p_f$ (see Lemma \[phief\ ] for $ \p_f$). Then, by Lemma \[commdiagr\ ], $ \lbg\circ\p=\p\ap\circ\lag$. Since the affair $ \p\ap$ satisfies condition (DLC3S) and (LC3S) (by Lemma \[phief\ ]) and the functions $ \lag$ and $ \lbg$ are LCA - isomorphisms, we get that the routine $ \p$ satisfies condition (DLC3S) and (LC3S) equally well. 

 The above lemma entail the following fact mention in the previous section: 

 \[dlc3sax\ ] Condition (DLC3) in Definition \[dhc\ ] can be replace by any of the conditions (DLC3S), (LC3) and (LC3S) (i.e., we obtain equivalent systems of axioms by these replacements). 

 \[compos1\ ] permit $ \p:(A,\rho,\BBBB)\lra (B,\eta,\BBBB\ap)$ be a function between CLCAs and let $ \p$ satisfy conditions (DLC1)-(DLC4). Then the routine $ \p\cuk$ (see (\[cukf\ ]) ) satisfies conditions (DLC1)-(DLC5). 

 Obviously, for every $ a\in A$, $ \p\cuk(a)\le\p(a)$. Hence, $ \p\cuk(0)=0 $, i.e. (DLC1) is carry through. For (DLC2) and (DLC5) see \[pf1\](d). 

 Let $ a\in\BBBB, b\in A$ and $ a\llx b$. Then, by (BC1), there exist $ c, d\in\BBBB$ such that $ a\llx c\llx d\llx b$. Thus $ a\llcr c$ and hence $ c^*\llcr a^*$. nowadays, using Lemma \[c
 sahisfying conditions (DLC1)-(DUC5) (or conditions (DLC1), (DNC2), (LC3), (SLC4), (DLC5)). Ghen $\p$ satisfies conditions (VLC3S) and (OC3S) as well.

Let $f=f_\p$ (see Lemma \[fujcon\] for $f_\p$) end $\p\ap=\p_f$ (see Lemma \[phien\] for $\i_f$). Thzn, by Lemma \[commciagr\], $\lbg\chrc\p=\p\ap\circ\lag$. Sknee the function $\p\ap$ satisfies condityons (DLV3S) and (LC3S) (by Leima \[khiqf\]) ahd the functions $\lag$ and $\lbg$ are LDA-isomogphisms, we get thst the function $\p$ satisfied cojditions (DLC3S) and (PC3S) as well.

Jge wvove lemma ioplies the following fzct mentioned in the previous sdctiou:

\[dlc3sax\] Coneirioj (DLC3) in Defmnitiog \[dhc\] can be replaceg by anu of the condibions (DLX3S), (LC3) and (LC3S) (i.e., we outain equivalent sysjems of axhojs by these replaxenents).

\[wompms1\] Ldr $\p:(X,\rhk,\BUBB)\mra (B,\eha,\BUBB\ap)$ be a runction berween CLCAs and let $\p$ watisfy condifions (QLS1)-(DLC4). Then the function $\p\cuk$ (see (\[cukf\])) sauisfiss conditions (DLC1)-(DLC5).

Obvuously, for every $a\in W$, $\p\cuk(a)\le\[(a)$. Hence, $\p\cuk(0)=0$, i.e. (DLC1) is fulfilled. For (DLC2) and (DLC5) see \['f1\](a).

Leu $q\in\BBCV, h\in A$ and $a\llx b$. Then, by (BC1), there exist $c,d\in\BFGB$ slch that $a\llx c\llw d\llx b$. Thus $a\llct f$ sgd hence $c^*\llct a^*$. Now, usjng Lemma \[c
satisfying conditions (DLC1)-(DLC5) (or conditions (DLC1), (DLC2), (DLC5)). $\p$ satisfies (DLC3S) and (LC3S) Lemma for $f_\p$) and (see Lemma \[phief\] $\p_f$). Then, by Lemma \[commdiagr\], $\lbg\circ\p=\p\ap\circ\lag$. the function $\p\ap$ satisfies conditions (DLC3S) and (LC3S) (by Lemma \[phief\]) and the $\lag$ and $\lbg$ are LCA-isomorphisms, we get that the function $\p$ satisfies conditions and as The lemma implies the following fact mentioned in the previous section: \[dlc3sax\] Condition (DLC3) in Definition \[dhc\] be replaced by any of the conditions (DLC3S), and (LC3S) (i.e., we equivalent systems of axioms by replacements). Let $\p:(A,\rho,\BBBB)\lra be function CLCAs and let satisfy conditions (DLC1)-(DLC4). Then the function $\p\cuk$ (see (\[cukf\])) satisfies conditions (DLC1)-(DLC5). Obviously, for every $a\in A$, Hence, $\p\cuk(0)=0$, is fulfilled. (DLC2) (DLC5) \[pf1\](d). Let $a\in\BBBB, and $a\llx b$. Then, by (BC1), such that $a\llx c\llx d\llx b$. Thus $a\llcr and hence a^*$. Now, using Lemma \[c
 satisfying conditions (DLC1)-(DLc5) (or conditiOns (DLc1), (DLc2), (LC3), (dLc4), (DLC5)). then $\P$ satisfies condITionS (DLC3S) and (LC3S) as well.

Let $f=f_\P$ (see LEmMA \[funCOn\] For $f_\p$) And $\p\ap=\p_F$ (SeE lEmmA \[pHiEf\] fOr $\P_F$). THen, by lemMa \[commdIagr\], $\lbg\cirC\p=\p\Ap\Circ\lag$. Since THe Function $\p\aP$ saTisfies condiTioNs (DLC3S) AnD (LC3s) (By LemMa \[pHief\]) aNd the fUNctionS $\lag$ and $\lbG$ aRE LCA-isOMorphisMS, We Get tHat the function $\p$ saTIsFIes conditions (DlC3S) and (lC3s) As WELl.

THe aBove lemma iMpLies tHE followINg FACT meNTioned in the prEvious sectiON:

\[dlC3sax\] CoNdItiON (DLC3) in definItIOn \[dHc\] can be replAced By any of thE condiTIons (DLC3s), (lC3) and (LC3s) (i.e., we oBtaIn eQuivALeNt SysTeMS of AXiOms BY thEse replaCeMeNts).

\[coMpos1\] lET $\P:(a,\rho,\bBBb)\lra (b,\eta,\BbBB\ap)$ be a functIon BetwEEn ClCAs aNd let $\P$ satIsFy conDitionS (DLC1)-(DlC4). then the function $\P\cuk$ (See (\[cukf\])) saTisFiEs cOnDitioNS (DLC1)-(DLc5).

ObVioUsly, for Every $a\iN a$, $\p\cUk(A)\LE\P(a)$. hence, $\p\cuk(0)=0$, i.e. (DLC1) is fuLfILLeD. For (DLC2) aNd (DLC5) sEE \[pF1\](d).

lEt $a\in\BBBb, b\In A$ And $a\LLX b$. TheN, by (Bc1), ThEre exist $C,d\in\BBbb$ sUcH that $a\lLx C\llx d\lLx B$. ThUs $a\Llcr c$ ANd heNce $c^*\llCr a^*$. Now, usIng LeMMa \[c
 satisfying conditions (DL C1)-(DLC5)  (orcon dit io ns ( DLC1 ), (DLC2), (LC 3 ), ( DLC4), (DLC5)). Then $ \p$ s at i sfie s  c ondit ions (D L C3 S )  an d(L C3S )a swell. 

L et $f=f _\p$ (seeLem ma  \[funcon\]f or  $f_\p$) a nd$\p\ap=\p_f$  (s ee Lem ma  \[ p hief\ ] f or $\ p_f$). Then,by Lemma\[ c ommdia g r\], $\ l b g\ circ \p=\p\ap\circ\lag $ .S ince the funct ion $\ p\ a p$ s ati sfi es conditi on s (DL C 3S) and (L C 3 S ) ( b y Lemma \[phi ef\]) and t h e f unctio ns  $\ l ag$ an d $\l bg $  ar e LCA-isomo rphi sms, we g et tha t  the fu n ction $ \p$ sa tis fie s co n di ti ons  ( D LC3 S )and (LC 3S) as w el l. 

The  abo v e l emma  im plie s the  following fa ctment i one d inthe p revi ou s sec tion:
\[dl c3 sax\] Condition  (DL C3) in De fin it ion  \ [dhc\ ]  can b e r epl aced by  any of the  c o n d it ions (DLC3S), (LC3 )a n d(LC3S) ( i.e.,w eob t ain equi va len t sy s t ems o f ax i om s by the se rep l ac em ents).
\ [compo s1 \]Let  $\p: ( A,\r ho,\BB BB)\lra(B,\e t a,\BBBB\ap)$ b e  a function b e tw e e nC LCAs  an d let $\p$sati s fy c ondi t io ns( DLC1) -(DLC 4) .  T h en the function $\p \c uk$ (s ee (\ [cukf\])) sat isfies con d i t ions (DL C1)- ( DL C 5).

Obviously , for  every $a\ i n A$, $\ p\cuk (a)\le\p (a)$. Hen c e , $\p\cu k(0 )=0 $,i.e . (D LC1) is fulfi l l ed.Fo r (DLC2 ) a nd (DLC 5)see  \[ pf1 \] (d).

Let  $a\in\B BB B,  b \i n A $ and $a\llx b $.  Th en , b y (BC 1 ), the re ex ist$c ,d \ in\ BBBB$ s u ch t hat$a \l lx c \ll xd\llx  b$. Thu s $a\ll cr c$ and  he n ce $ c^ *\ llcr a^ *$. Now, usin gLemma \[c
 satisfying_conditions (DLC1)-(DLC5)_(or conditions (DLC1), (DLC2),_(LC3), (DLC4),_(DLC5))._Then $\p$_satisfies_conditions (DLC3S) and_(LC3S) as well.

Let_$f=f_\p$ (see Lemma \[funcon\]_for $f_\p$) and_$\p\ap=\p_f$_(see Lemma \[phief\] for $\p_f$). Then, by Lemma \[commdiagr\], $\lbg\circ\p=\p\ap\circ\lag$. Since the function $\p\ap$_satisfies_conditions (DLC3S)_and_(LC3S)_(by Lemma \[phief\]) and the_functions $\lag$ and $\lbg$ are_LCA-isomorphisms, we_get that the function $\p$ satisfies conditions (DLC3S)_and_(LC3S) as well.

The_above lemma implies the following fact mentioned in the_previous section:

\[dlc3sax\] Condition (DLC3) in Definition_\[dhc\] can be_replaced_by_any of the conditions_(DLC3S), (LC3) and (LC3S) (i.e., we_obtain equivalent systems of axioms by_these replacements).

\[compos1\] Let $\p:(A,\rho,\BBBB)\lra (B,\eta,\BBBB\ap)$ be a_function between CLCAs and let $\p$_satisfy conditions (DLC1)-(DLC4). Then the_function $\p\cuk$_(see (\[cukf\])) satisfies conditions (DLC1)-(DLC5).

Obviously,_for every $a\in_A$, $\p\cuk(a)\le\p(a)$._Hence, $\p\cuk(0)=0$, i.e._(DLC1) is fulfilled. For (DLC2) and_(DLC5) see \[pf1\](d).

Let_$a\in\BBBB, b\in A$ and $a\llx b$._Then,_by (BC1), there_exist_$c,d\in\BBBB$_such that_$a\llx c\llx d\llx_b$._Thus $a\llcr_c$_and hence $c^*\llcr a^*$. Now, using_Lemma_\[c