>>360
その集合に位相構造が定義されていないとコンパクト性は定義できません。