コンパクト性の別定義

通常の（もっともメジャーな）コンパクト性の定義以外に、以下に述べる定義がある。以前（2005年だ）、モデルの空間＝リンデンバウム代数のスペクトルがコンパクトであることを示すのに使ったことがある。

• コンパクト空間と論理／モデル論 - 檜山正幸のキマイラ飼育記

位相空間Xの閉集合の全体（からなる集合）を とする。はベキ集合を表す花文字P。で、次が「Xがコンパクト」の定義：

ここで、FiniteIntersect(A) の定義は、

Finite(B)は「Bは有限集合」。