theorem Th9: :: COMPTS_1:9

for TS being TopSpace
for PS, QS being Subset of TS st PS is compact & QS c= PS & QS is closed holds
QS is compact