>>96 追加

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6)
フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学 (general topology) の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル（英語版）である。

類似の概念として1922年にエリアキム・H・ムーアと H. L. スミスによって導入されたネットの概念がある。

目次
1 歴史
2 定義
3 写像とフィルター
4 冪集合の上のフィルター
4.1 例
4.2 モデル理論におけるフィルター
4.3 超積
4.4 位相幾何学におけるフィルター
4.5 一様空間におけるフィルター
5 他分野への応用
5.1 社会選択理論 (経済学) におけるフィルター

歴史
1936年9月のブルバキ会合ではアンドレ・ヴェイユによる数学原論の「位相」[1]の草稿に関して議論がなされた。その草稿でヴェイユは点列の収束を議論する上で空間に第二可算公理の成立を要求していたが（下の#位相幾何学におけるフィルターも参照）、この制限を除くためにアンリ・カルタンが会合中に見つけた解決の糸口がフィルターである[2]。

フィルターの概念の初出として一般に言及されるのは、ブルバキの他メンバーの勧めを基にカルタンが翌年に提出した2つの論文[3][4]である。