： Mを言語Lのモデル、A⊂M として、 公理系 ＝｛φ ： M |= φ，φはAをパラメタとしたL-閉論理式｝ に関する完全ｎ-タイプ全体の集合。 は、位相の基底を各論理式φに対して とすることで、位相空間（Stone空間）になる。 ここで、 とおいた。 Stone空間は、完…