>>75 を以下のように修正する。

定義
X を集合とする。
X の部分集合からなる集合 Ψ が以下の条件を満たすとき
Ψ を X のフィルターと言う。

1) Ψ は空ではない。
2) Ψ には空集合は含まれない。
3) A ∈ Ψ で A ⊂ B ⊂ X なら B ∈ Ψ
4) A ∈ Ψ, B ∈ Ψ なら A ∩ B ∈ Ψ