Theorem 2. A subset K of R is C-compact if and only if each strictly decreasing sequence in KS-converges to a point in K and K is devoid of strictly increasing sequences. Proof. If K is S-compact,
a) K is compact
b) K is closed
c) K is bounded
d) K is dense