集合と位相

コンパクト性へ。