 and every $G\in RC(Y)$, and for every $\p\in\SKAL((A,\rho,\BBBB),(B,\eta,\BBBB\ap))$ and for every bounded ultrafilter $u$ in $B$ (see \[boundcl\]) $$\label{psi1a}
\Psi_1^a(\p)(\s_u)=\s_{\p\inv(u)},$$ where $\s_{\p\inv(u)}$ is a cluster in $(A,C_\rho)$ (see \[Alexprn\], (\[sigmau\]) and \[uniqult\] for $C_\rho$ and $\s_u$, and note that, by \[conclustth\], any bounded cluster $\s$ in $(B,\eta,\BBBB\ap)$ can be written in the form $\s_u$ for some bounded ultrafilter $u$ in $B$); then $\l^g:
Id_{\,\SKAL}\lra\Psi_1^t\circ\Psi_1^a$, where $\l^g(A,\rho,\BBBB)=\l_A^g$, for every $(A,\rho,\BBBB)\in\card\SKAL$ (see (\[hapisomn\]) for the notation $\l_A^g$), and $t:Id_{\,\SKLC}\lra\Psi_1^a\circ\Psi_1^t$, where $t(X)=t_X$, for every $X\in\card\SKLC$ (see (\[homeo\]) for the notation $t_X$), are natural isomorphisms.

Now we will prove the following proposition.

\[mainfed\] The categories $\SKLC$ and $\SKAL$ are (non full) subcategories of, respectively, $\HLC$ and $\DLC$. The restriction of the contravariant functor $\LAM^a$ (respectively, $\LAM^t$) to the subcategory $\SKAL$ (resp., $\SKLC$) coincides with the contravariant functor $\Psi_1^a$ (resp., $\Psi_1^t$).

Obviously, the category $\SKLC$ is a subcategory of the category $\HLC$ and the restriction of the contravariant functor $\LAM^t$ to the subcategory $\SKLC$ coincides with the contravariant functor $\Psi_1^t$.

Let $\p
and every $ G\in RC(Y)$, and for every $ \p\in\SKAL((A,\rho,\BBBB),(B,\eta,\BBBB\ap))$ and for every bounded ultrafilter $ u$ in $ B$ (see \[boundcl\ ]) $ $ \label{psi1a } 
 \Psi_1^a(\p)(\s_u)=\s_{\p\inv(u)},$$ where $ \s_{\p\inv(u)}$ is a cluster in $ (A, C_\rho)$ (see \[Alexprn\ ], (\[sigmau\ ]) and \[uniqult\ ] for $ C_\rho$ and $ \s_u$, and notice that, by \[conclustth\ ], any restrict cluster $ \s$ in $ (B,\eta,\BBBB\ap)$ can be written in the human body $ \s_u$ for some bound ultrafilter $ u$ in $ B$); then $ \l^g: 
 Id_{\,\SKAL}\lra\Psi_1^t\circ\Psi_1^a$, where $ \l^g(A,\rho,\BBBB)=\l_A^g$, for every $ (A,\rho,\BBBB)\in\card\SKAL$ (see (\[hapisomn\ ]) for the notation $ \l_A^g$), and $ triiodothyronine: Id_{\,\SKLC}\lra\Psi_1^a\circ\Psi_1^t$, where $ t(X)=t_X$, for every $ X\in\card\SKLC$ (experience (\[homeo\ ]) for the notation $ t_X$), are lifelike isomorphism. 

 Now we will prove the keep up proposition. 

 \[mainfed\ ] The category $ \SKLC$ and $ \SKAL$ are (not full) subcategories of, respectively, $ \HLC$ and $ \DLC$. The restriction of the contravariant functor $ \LAM^a$ (respectively, $ \LAM^t$) to the subcategory $ \SKAL$ (resp. , $ \SKLC$) coincide with the contravariant functor $ \Psi_1^a$ (resp. , $ \Psi_1^t$). 

 Obviously, the category $ \SKLC$ is a subcategory of the category $ \HLC$ and the limitation of the contravariant functor $ \LAM^t$ to the subcategory $ \SKLC$ coincides with the contravariant functor $ \Psi_1^t$. 

 Let $ \p
 anf every $G\in RC(Y)$, and for tvery $\p\in\SKAL((A,\rho,\YVBB),(B,\ete,\BBBB\ap))$ and for every bounded ultrafilter $u$ ib $B$ (stv \[boundcl\]) $$\label{psi1a}
\Psk_1^a(\p)(\s_u)=\s_{\p\inn(u)},$$ where $\w_{\p\int(u)}$ is a cluster mh $(A,C_\rho)$ (see \[Amcxprn\], (\[wigmau\]) and \[uniault\] for $C_\sho$ and $\s_u$, and nutz that, by \[conclustth\], any bounded clufter $\s$ on $(B,\eta,\BBBB\ap)$ cag be rritfvn in the form $\s_u$ for some bounsed ultgafilter $u$ in $B$); tnen $\l^g:
Id_{\,\SKAL}\lra\Psi_1^t\circ\Psi_1^w$, whfre $\l^g(A,\rho,\BBBB)=\l_A^g$, vor every $(A,\tgo,\BFVB)\in\card\SKAL$ (see (\[hapisomn\]) for the hotation $\l_A^g$), and $t:Id_{\,\SKLC}\lra\Psi_1^a\zirc\Pxi_1^t$, where $j(R)=r_X$, vmr every $X\ii\card\SHLC$ (see (\[homeo\]) for tha notatoon $t_X$), are natmral msomirphisms.

Now we will pcove the following ptoposition.

\[kannfed\] The categories $\WKOC$ ang $\SKDL$ afw (nun rukl) subcahegkries of, rsspectively, $\HLC$ and $\DLC$. The rextwpvtion of the contrwvwriant functor $\LAM^a$ (respectively, $\LAM^t$) tm tge subcategory $\SKAL$ (resp., $\SKLC$) coincides with the contwavariant functor $\Psi_1^a$ (resp., $\Psi_1^t$).

Obviously, the catagory $\RKLE$ is a wuhcategory of the category $\HLC$ and the restricejom pf the contravcriant functor $\LSM^h$ yj the subcateeory $\SKLC$ coincides with thf contrwvariqnt functjr $\Pxi_1^t$.

Let $\p
and every $G\in RC(Y)$, and for every for bounded ultrafilter in $B$ (see is cluster in $(A,C_\rho)$ \[Alexprn\], (\[sigmau\]) and for $C_\rho$ and $\s_u$, and note by \[conclustth\], any bounded cluster $\s$ in $(B,\eta,\BBBB\ap)$ can be written in the $\s_u$ for some bounded ultrafilter $u$ in $B$); then $\l^g: Id_{\,\SKAL}\lra\Psi_1^t\circ\Psi_1^a$, where $\l^g(A,\rho,\BBBB)=\l_A^g$, every (see for notation $\l_A^g$), and $t:Id_{\,\SKLC}\lra\Psi_1^a\circ\Psi_1^t$, where $t(X)=t_X$, for every $X\in\card\SKLC$ (see (\[homeo\]) for the notation $t_X$), are isomorphisms. Now we will prove the following proposition. The categories $\SKLC$ and are (non full) subcategories of, $\HLC$ $\DLC$. The of contravariant $\LAM^a$ (respectively, $\LAM^t$) the subcategory $\SKAL$ (resp., $\SKLC$) coincides with the contravariant functor $\Psi_1^a$ (resp., $\Psi_1^t$). Obviously, the category $\SKLC$ a subcategory category $\HLC$ the of contravariant functor $\LAM^t$ subcategory $\SKLC$ coincides with the contravariant $\p
 and every $G\in RC(Y)$, and for every $\P\in\SKAL((A,\rhO,\BBBB),(b,\etA,\BBbB\Ap))$ anD for Every bounded ulTRafiLter $u$ in $B$ (see \[boundcl\]) $$\labeL{psi1a}
\psI_1^A(\p)(\s_u)=\S_{\P\iNv(u)},$$ whEre $\s_{\p\inV(U)}$ iS A CluStEr In $(A,c_\rHO)$ (sEe \[AleXprN\], (\[sigmau\]) And \[uniqult\] For $c_\rHo$ and $\s_u$, and noTE tHat, by \[conclUstTh\], any bounded CluSter $\s$ iN $(B,\Eta,\bbBB\ap)$ Can Be wriTten in THe form $\S_u$ for some BoUNded ulTRafilteR $U$ In $b$); theN $\l^g:
Id_{\,\SKAL}\lra\Psi_1^t\cIRc\pSi_1^a$, where $\l^g(A,\rho,\bBBB)=\l_A^G$, fOR eVERy $(A,\Rho,\bBBB)\in\card\sKaL$ (see (\[HApisomn\]) FOr THE NotATion $\l_A^g$), and $t:Id_{\,\sKLC}\lra\Psi_1^a\CIrc\psi_1^t$, whErE $t(X)=T_x$, for evEry $X\iN\cARd\SkLC$ (see (\[homeo\]) For tHe notatioN $t_X$), are NAtural iSOmorphiSms.

Now We wIll ProvE ThE fOllOwINg pROpOsiTIon.

\[Mainfed\] THe CaTegorIes $\Sklc$ ANd $\SKaL$ aRe (noN full) Subcategories Of, rEspeCTivEly, $\HLc$ and $\DlC$. ThE rEstriCtion oF the cOnTravariant functOr $\LAm^a$ (respectIveLy, $\lAM^T$) tO the sUBcategOry $\sKAl$ (resp., $\SKlC$) coincIDes WiTH THe Contravariant functOr $\pSI_1^a$ (Resp., $\Psi_1^t$).

obviouSLy, ThE Category $\sKlC$ iS a suBCAtegoRy of THe Category $\hLC$ and THe ReStrictiOn Of the cOnTraVarIant fUNctoR $\LAM^t$ tO the subcAtegoRY $\SKLC$ coincides WIth the contravARiANT fUNctoR $\PsI_1^t$.

Let $\p
 and every $G\in RC(Y)$, a nd for eve ry $\ p\i n\S KA L((A ,\rh o,\BBBB),(B,\e t a,\B BBB\ap))$ and for ever y bou nd e d ul t ra filte r $u$ i n  $ B $  (s ee  \ [bo un d cl \]) $ $\l abel{ps i1a}
\Psi_ 1^a (\ p)(\s_u)=\s_ { \p \inv(u)},$ $ w here $\s_{\p \in v(u)}$  i s a clust erin $( A,C_\r h o)$ (s ee \[Alex pr n \], (\ [ sigmau\ ] )  a nd \ [uniqult\] for $C _ \r h o$ and $\s_u$,  and n ot e  t h a t,by\[conclust th \], a n y bound e dc l u ste r  $\s$ in $(B, \eta,\BBBB\ a p)$  can b ewri t ten in  thefo r m $ \s_u$ for s omebounded u ltrafi l ter $u$ in $B$) ; then  $\ l^g :
Id _ {\ ,\ SKA L} \ lra \ Ps i_1 ^ t\c irc\Psi_ 1^ a$ , whe re $ \ l ^ g (A,\ rho ,\BB BB)=\ l_A^g$, for e ver y $( A ,\r ho,\B BBB)\ in\c ar d\SKA L$ (se e (\[ ha pisomn\]) for t he n otation $ \l_ A^ g$) ,and $ t :Id_{\ ,\S KLC }\lra\P si_1^a\ c irc \P s i _ 1^ t$, where $t(X)=t_ X$ , fo r every$X\in\ c ar d\ S KLC$ (se e(\[ home o \ ]) fo r th e  n otation$t_X$) ,  a re  natura lisomor ph ism s.
Noww e wi ll pro ve the f ollow i ng proposition . 

\[mainfed\] Th e ca t egor ies  $\SKLC$ an d $\ S KAL$  are (n onf ull)subca te g or i es of, respectively ,$\HLC$  and$\DLC$. The r estriction o f  the con trav a ri a nt functor $\L AM^a$  (respecti v ely, $\L AM^t$ ) to the  subcateg o r y $\SKAL $ ( res p.,  $\ S K LC $) coincidesw i th t he  contra var iant fu nct or$\P si_ 1^ a$ (resp. , $\Psi_ 1^ t$ ). 
Obv iousl y , the ca te gor y$\S KLC$i s a su bcate gory  o ft hecategor y  $ \ H LC$an dtheres tr ictio n of the  contra variant f unc t or $ \L AM ^t$ tothe subcatego ry  $\SKLC$ c oi nci des wi t h  the con travariant functor $\Ps i _1^t$.
Le t $\p 
 and_every $G\in_RC(Y)$, and for every_$\p\in\SKAL((A,\rho,\BBBB),(B,\eta,\BBBB\ap))$ and_for_every bounded_ultrafilter_$u$ in $B$_(see \[boundcl\]) $$\label{psi1a}
\Psi_1^a(\p)(\s_u)=\s_{\p\inv(u)},$$_where $\s_{\p\inv(u)}$ is a_cluster in $(A,C_\rho)$_(see_\[Alexprn\], (\[sigmau\]) and \[uniqult\] for $C_\rho$ and $\s_u$, and note that, by \[conclustth\], any_bounded_cluster $\s$_in_$(B,\eta,\BBBB\ap)$_can be written in the_form $\s_u$ for some bounded_ultrafilter $u$_in $B$); then $\l^g:
Id_{\,\SKAL}\lra\Psi_1^t\circ\Psi_1^a$, where $\l^g(A,\rho,\BBBB)=\l_A^g$, for every_$(A,\rho,\BBBB)\in\card\SKAL$_(see (\[hapisomn\]) for_the notation $\l_A^g$), and $t:Id_{\,\SKLC}\lra\Psi_1^a\circ\Psi_1^t$, where $t(X)=t_X$, for every_$X\in\card\SKLC$ (see (\[homeo\]) for the notation_$t_X$), are natural_isomorphisms.

Now_we_will prove the following_proposition.

\[mainfed\] The categories $\SKLC$ and $\SKAL$_are (non full) subcategories of, respectively,_$\HLC$ and $\DLC$. The restriction of the_contravariant functor $\LAM^a$ (respectively, $\LAM^t$) to_the subcategory $\SKAL$ (resp., $\SKLC$)_coincides with_the contravariant functor $\Psi_1^a$ (resp.,_$\Psi_1^t$).

Obviously, the category_$\SKLC$ is_a subcategory of_the category $\HLC$ and the restriction_of the contravariant_functor $\LAM^t$ to the subcategory $\SKLC$_coincides_with the contravariant_functor_$\Psi_1^t$.

Let_$\p