>>590
フィルターの典型的な例は集合 X の部分集合の単調減少列
A_1 ⊃ A_2 ⊃ . . .
A = ∩A_n とする。

X の元は X - A に含まれるものと A に含まれるものに分けられる。
A の元はこのフィルターで絞り込まれたと考える。
X - A は落ちこぼれと考える。