}$ of points of $G$ which converges in $\mathbb{R}$ to $x$. The set $K=\{x\}\cup\{x_n: n\in\omega\}$ is compact in $\mathbb{S}$ but $K\cap F$ is not closed in $\mathbb{S}$. This proves that $\mathbb{S}$ is a $k$-space.

It is consistent with $\mathbf{ZF}$ that the Sorgenfrey line is not a $k$-space.

From Theorems 2.28 and 3.10, we immediately obtain the following:

Let $\tau$ be the topology of the Sorgenfrey line. If every compact in $(\mathbb{R}, \tau^{\star})$ set is closed in $(\mathbb{R}, \tau)$, then $\mathbf{CC}(c\mathbb{R})$ holds.

Compact complement partial topology
===================================

Let us slightly reformulate Definition 2.1 of [@OPSW]:

A *partial topology* of a set $X$ is a collection $Cov_X\subseteq\mathcal{P}(\mathcal{P}(X))$ which satisfies the following conditions:

1.  $\tau_X=\bigcup Cov_X$ is a topology on $X$;

2.  if $\mathcal{U}\subseteq \tau_X$ and $\mathcal{U}$ is finite, then $\mathcal{U}\in Cov_X$;

3.  if $\mathcal{U}\in Cov_X$ and $V\in\tau_X$, then $\{U\cap V: U\in\mathcal{U}\}\in Cov_X$;

4.  if $\mathcal{U}\in Cov_X$ and, for each $U\in\mathcal{U}$, we have $\mathcal{V}(U)\in Cov_X$ such that $U=\bigcup\mathcal{V}(U)$, then $\bigcup_{U\in\mathcal{U}}\mathcal{V}(U)\in Cov_X$;

5.  if $\mathcal{U}\subseteq \tau_X$ and $\mathcal{V}\in Cov_X$ are such that $\bigcup\mathcal{U}=\bigcup\mathcal{V}$ and, for each $V\in\mathcal{V}$, there exists $U\in\mathcal{U}$ such that $V\subseteq U$, then $\mathcal{U}\in
} $ of points of $ G$ which converges in $ \mathbb{R}$ to $ x$. The set $ K=\{x\}\cup\{x_n: n\in\omega\}$ is compact in $ \mathbb{S}$ but $ K\cap F$ is not close in $ \mathbb{S}$. This proves that $ \mathbb{S}$ is a $ k$-space. 

 It is consistent with $ \mathbf{ZF}$ that the Sorgenfrey course is not a $ k$-space. 

 From Theorems 2.28 and 3.10, we immediately prevail the following: 

 Let $ \tau$ be the regional anatomy of the Sorgenfrey line. If every compact in $ (\mathbb{R }, \tau^{\star})$ set is close in $ (\mathbb{R }, \tau)$, then $ \mathbf{CC}(c\mathbb{R})$ holds. 

 Compact complement partial regional anatomy 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let us slightly redevelop Definition 2.1 of [ @OPSW ]: 

 A * partial topology * of a set $ X$ is a collection $ Cov_X\subseteq\mathcal{P}(\mathcal{P}(X))$ which satisfies the following conditions: 

 1.   $ \tau_X=\bigcup Cov_X$ is a regional anatomy on $ X$; 

 2.   if $ \mathcal{U}\subseteq \tau_X$ and $ \mathcal{U}$ is finite, then $ \mathcal{U}\in Cov_X$; 

 3.   if $ \mathcal{U}\in Cov_X$ and $ V\in\tau_X$, then $ \{U\cap V: U\in\mathcal{U}\}\in Cov_X$; 

 4.   if $ \mathcal{U}\in Cov_X$ and, for each $ U\in\mathcal{U}$, we have $ \mathcal{V}(U)\in Cov_X$ such that $ U=\bigcup\mathcal{V}(U)$, then $ \bigcup_{U\in\mathcal{U}}\mathcal{V}(U)\in Cov_X$; 

 5.   if $ \mathcal{U}\subseteq \tau_X$ and $ \mathcal{V}\in Cov_X$ are such that $ \bigcup\mathcal{U}=\bigcup\mathcal{V}$ and, for each $ V\in\mathcal{V}$, there exists $ U\in\mathcal{U}$ such that $ V\subseteq U$, then $ \mathcal{U}\in
}$ of points of $G$ which convevges in $\mathbb{R}$ jo $x$. The set $K=\{s\}\cup\{x_n: n\kn\omega\}$ is compact in $\mathbb{D}$ vut $K\xap F$ is not closed in $\mathbb{S}$. Nhis provws tiat $\mathbb{S}$ is a $k$-space.

Ib is dlnsivvent with $\mathbn{ZF}$ that tha Sorgenfrey lhnd ns not a $k$-space.

From Theorems 2.28 and 3.10, wq immedoahely obtain thg folkjwinf:

Let $\tau$ be the topology of the Sodgenfrej line. If every cpmpact in $(\mathbb{R}, \tau^{\star})$ det ls closed in $(\mathbh{R}, \tau)$, then $\matrvf{CC}(c\mathbb{R})$ holds.

Compact complemeht partial topology
===================================

Let us slighgly rzformulate Eedinljion 2.1 of [@OPSX]:

A *parnial topology* of a sed $X$ is s collection $Cpv_X\vubweteq\mathcal{P}(\mathcal{P}(E))$ which satisfies thg followinc eonditions:

1.  $\tau_X=\bigcup Xov_X$ hs a topuoogh oh $E$;

2.  jf $\matjcam{U}\subseteq \tau_X$ and $\mqthcal{U}$ is finite, tneg $\mathcal{U}\in Ckv_X$;

3.  is $\iathcal{U}\in Cov_X$ and $V\in\tau_X$, then $\{U\cap V: U\ih\mathcal{U}\}\in Cov_X$;

4.  if $\marhcal{U}\in Cov_X$ and, for each $U\in\iathcal{U}$, we have $\mathcal{V}(U)\in Cov_X$ such that $U=\bigcgp\maticxl{V}(B)$, then $\vihcup_{U\in\mathcal{U}}\mathcal{V}(U)\in Cov_X$;

5.  if $\mathcal{U}\stgsttea \tau_X$ and $\matmcal{V}\in Cov_X$ are sicj yrat $\bigcup\matfcal{U}=\bnfchp\mathcal{V}$ and, for each $V\yn\matycal{V}$, thewe ecists $U\in\mathcal{U}$ such that $V\subseteq U$, rhen $\mathcal{U}\in
}$ of points of $G$ which converges to The set n\in\omega\}$ is compact is closed in $\mathbb{S}$. proves that $\mathbb{S}$ a $k$-space. It is consistent with that the Sorgenfrey line is not a $k$-space. From Theorems 2.28 and 3.10, immediately obtain the following: Let $\tau$ be the topology of the Sorgenfrey line. every in \tau^{\star})$ is closed in $(\mathbb{R}, \tau)$, then $\mathbf{CC}(c\mathbb{R})$ holds. Compact complement partial topology =================================== Let us slightly Definition 2.1 of [@OPSW]: A *partial topology* of set $X$ is a $Cov_X\subseteq\mathcal{P}(\mathcal{P}(X))$ which satisfies the following 1. Cov_X$ is topology $X$; if $\mathcal{U}\subseteq \tau_X$ $\mathcal{U}$ is finite, then $\mathcal{U}\in Cov_X$; 3. if $\mathcal{U}\in Cov_X$ and $V\in\tau_X$, then $\{U\cap V: U\in\mathcal{U}\}\in Cov_X$; if $\mathcal{U}\in for each we $\mathcal{V}(U)\in such that $U=\bigcup\mathcal{V}(U)$, Cov_X$; 5. if $\mathcal{U}\subseteq \tau_X$ and such that $\bigcup\mathcal{U}=\bigcup\mathcal{V}$ and, for each $V\in\mathcal{V}$, there $U\in\mathcal{U}$ such $V\subseteq U$, then $\mathcal{U}\in
}$ of points of $G$ which converges In $\mathbb{R}$ tO $x$. The Set $k=\{x\}\cUp\{X_n: n\iN\omeGa\}$ is compact in $\mAThbb{s}$ but $K\cap F$ is not closed in $\MathbB{S}$. tHis pROvEs thaT $\mathbb{s}$ Is A $K$-SpaCe.

it Is cOnSIsTent wIth $\Mathbf{Zf}$ that the SoRgeNfRey line is not A $K$-sPace.

From ThEorEms 2.28 and 3.10, we immeDiaTely obTaIn tHE follOwiNg:

Let $\Tau$ be tHE topolOgy of the SOrGEnfrey LIne. If evERY cOmpaCt in $(\mathbb{R}, \tau^{\staR})$ SeT Is closed in $(\mathBb{R}, \tau)$, ThEN $\mATHbf{cC}(c\Mathbb{R})$ holDs.

compaCT compleMEnT PARtiAL topology
===================================

Let uS slightly reFOrmUlate DEfIniTIon 2.1 of [@OpSW]:

A *pArTIal Topology* of a Set $X$ Is a collecTion $CoV_x\subsetEQ\mathcaL{P}(\mathCal{p}(X))$ wHich SAtIsFieS tHE foLLoWinG ConDitions:

1.  $\tAu_x=\bIgcup cov_X$ IS A TOpolOgy On $X$;

2.  iF $\mathCal{U}\subseteq \tAu_X$ And $\mAThcAl{U}$ is FinitE, theN $\mAthcaL{U}\in CoV_X$;

3.  if $\mAtHcal{U}\in Cov_X$ and $V\In\taU_X$, then $\{U\caP V: U\In\MatHcAl{U}\}\in cOv_X$;

4.  if $\mAthCal{u}\in Cov_X$ And, for eACh $U\In\MATHcAl{U}$, we have $\mathcal{V}(U)\In cOV_X$ Such that $u=\bigcuP\MaThCAl{V}(U)$, then $\BiGcuP_{U\in\MAThcal{u}}\matHCaL{V}(U)\in Cov_x$;

5.  if $\matHCaL{U}\SubseteQ \tAu_X$ and $\MaThcAl{V}\In Cov_x$ Are sUch thaT $\bigcup\mAthcaL{u}=\bigcup\mathcal{v}$ And, for each $V\in\MAtHCAl{v}$, TherE exIsts $U\in\mathCal{U}$ SUch tHat $V\SUbSetEQ U$, theN $\mathCaL{u}\iN
}$ of points of $G$ whichconvergesin $\ mat hbb {R }$ t o $x $. The set $K= \ {x\} \cup\{x_n: n\in\omega\ }$ is  c o mpac t  i n $\m athbb{S } $b u t $ K\ ca p F $i snot c los ed in $ \mathbb{S} $.Th is proves th a t$\mathbb{S }$is a $k$-spa ce. 

It i scon s isten t w ith $ \mathb f {ZF}$that theSo r genfre y  line i s no t a$k$-space.

FromT he o rems 2.28 and3.10,we im m e dia tel y obtain t he  foll o wing:
L et $ \ tau $  be the topol ogy of theS org enfrey  l ine .  If ev ery c om p act  in $(\math bb{R }, \tau^{ \star} ) $ set i s  closed  in $( \ma thb b{R} ,  \ ta u)$ ,t hen $\ mat h bf{ CC}(c\ma th bb {R})$  hol d s . 
Com pac t co mplem ent partial t opo logy === ===== ===== ==== == ===== ====== ===== 
Let us slightly  ref ormulateDef in iti on  2.1o f [@OP SW] :
A *part ial top o log y* o f  a  set $X$ is a coll ec t i on  $Cov_X\ subset e q\ ma t hcal{P}( \m ath cal{ P } (X))$  whi c hsatisfie s thef ol lo wing co nd itions :
1.   $ \tau_ X =\bi gcup C ov_X$ is  a to p ology on $X$;2.  if $\math c al { U }\ s ubse teq  \tau_X$ an d $\ m athc al{U } $isf inite , the n$ \m a thcal{U}\in Cov_X$; 
3.  if  $\ma thcal{U}\in C ov_X$ and$ V \ in\tau_X $, t h en $\{U\cap V: U\ in\ma thcal{U}\} \ in Cov_X $;

4 .  if $\ mathcal{U } \ in Cov_X $ a nd,  fo r e a c h$U\in\mathcal { U }$,we  have $ \ma thcal{V }(U )\i n C ov_ X$  such tha t $U=\bi gc up \m at hca l{V}( U )$, then  $ \bi gc up_ {U\in \ mathca l{U}} \mat hc al { V}( U)\in C o v_ X $ ;

5 . i f $\ mat hc al{U} \sub s ete q \tau_ X$ and $\ mat h cal{ V} \i n Cov_X $ are such th at  $\bigcup\ ma thc al{U}= \ b igcup\ma thcal{V}$ and, for each $V\in\m ath cal{V }$,there exi sts  $U\in \ma t hcal{U }$ suc h tha t$V\ s u bsete q U$ , t he n $\mathca l { U}\ in
}$ of_points of_$G$ which converges in_$\mathbb{R}$ to_$x$._The set_$K=\{x\}\cup\{x_n:_n\in\omega\}$ is compact_in $\mathbb{S}$ but_$K\cap F$ is not_closed in $\mathbb{S}$._This_proves that $\mathbb{S}$ is a $k$-space.

It is consistent with $\mathbf{ZF}$ that the Sorgenfrey line_is_not a_$k$-space.

From_Theorems_2.28 and 3.10, we immediately_obtain the following:

Let $\tau$ be_the topology_of the Sorgenfrey line. If every compact in_$(\mathbb{R},_\tau^{\star})$ set is_closed in $(\mathbb{R}, \tau)$, then $\mathbf{CC}(c\mathbb{R})$ holds.

Compact complement partial_topology
===================================

Let us slightly reformulate Definition 2.1_of [@OPSW]:

A *partial_topology*_of_a set $X$ is_a collection $Cov_X\subseteq\mathcal{P}(\mathcal{P}(X))$ which satisfies the_following conditions:

1.  $\tau_X=\bigcup Cov_X$ is_a topology on $X$;

2.  if $\mathcal{U}\subseteq_\tau_X$ and $\mathcal{U}$ is finite, then_$\mathcal{U}\in Cov_X$;

3.  if $\mathcal{U}\in_Cov_X$ and_$V\in\tau_X$, then $\{U\cap V: U\in\mathcal{U}\}\in_Cov_X$;

4.  if_$\mathcal{U}\in Cov_X$_and, for each_$U\in\mathcal{U}$, we have $\mathcal{V}(U)\in Cov_X$ such_that $U=\bigcup\mathcal{V}(U)$, then_$\bigcup_{U\in\mathcal{U}}\mathcal{V}(U)\in Cov_X$;

5.  if $\mathcal{U}\subseteq \tau_X$_and_$\mathcal{V}\in Cov_X$ are_such_that_$\bigcup\mathcal{U}=\bigcup\mathcal{V}$ and,_for each $V\in\mathcal{V}$,_there_exists $U\in\mathcal{U}$_such_that $V\subseteq U$, then $\mathcal{U}\in