Sがコンパクト
<=>
どこぞのバカが有限被覆にならね〜ぞといちゃもんつけてきた無限被覆が
ことごとく論破されるような集合のこと