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