フィルターって用語を最初に考えたのはBourbakiのメンバーだね。
Bourbakiは独特のセンスの用語を考え出すことが多いけど
フィルターは新しい概念でもあったし、一般に広まったね。
「ブルバキ 数学者の秘密結社」だっけ？命名の経緯が載ってたと思うけど。

フィルターはBoole代数でイデアルの双対概念になる。
任意の p1, p2, p3,........., pn に対してそれらより小さい q が存在する、というのは
図の書きようによってはまさにあるところに絞られていっているように見える。
実際フィルターと収束は深い関係がある。

>>591
それフィルターじゃなくて超フィルターの話だよね。