「集合をコンパクト化する方法」において、集合Xを {0, 1}X に埋め込んで閉包を取るとコンパクト化が得られるだろうと書きました。このコンパクト化がストーン／チェック・コンパクト化と一致するとは思ってませんが、なにかしら極大フィルター（超フィルタ…