定義
Φ を集合 X 上の集合代数(過去スレ007の196)とする。
Φ の任意の極大フィルター(>>96)が X のある点により決定される(>>678)とき
Φ は完全(perfect)であるという。