定義
位相空間の開集合でコンパクトなものをコンパクト開集合と言う。