フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル（英語版）である。

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

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

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

半順序集合 (P, ≤) の空でない部分集合 F は次の条件を満たすときフィルターと呼ばれる。
F の任意の元 x と y について、F の元 z が存在して z ≤ x と z ≤ y が成立している。（F は フィルター基である）（Fは双対順序が有向集合である）

F の任意の元 x について、x ≤ y となるような P の元 y は F に入っている。（F は 上に開いている）（Fは上方集合（英語版）である）

P 全体と一致しないようなフィルターは固有フィルターあるいは真のフィルターともよばれる。この条件はしばしばフィルターの定義の一つとして要請されている。以下この項目でも特に断らない限りフィルターの条件として固有性を仮定する。

上に上げた定義は任意の半順序集合上にフィルターを定義する上で最も一般的な形式であるが、初めフィルターは束に対してだけ定義されていた。束の場合には次の条件によってフィルターを特徴付けることができる：束 (P, ≤) の空でない部分集合 F は、上に開いていて、かつ有限回の交わり操作（最大下界）で閉じている（つまり、x と y が F に入っているなら x ∧ y も F に入っている）とき、およびそのときに限ってフィルターになる。

P 上のフィルター F と G について、F ⊆ G ならば G は F より細かい、または F は G より粗いといい、これら二つのフィルターは比較可能だという。二つのフィルターがいつでも比較できるとは限らない。比較可能なほかのどんな真のフィルターよりも細かい真のフィルターは超フィルター (ultrafilter) と呼ばれる。

P の元 p を含むような P 上のフィルターのうちで最も小さいものは単項フィルターと呼ばれ、また p はそのフィルターの生成元と呼ばれる。p によって生成される単項フィルターは具体的には ↑p = { x ∈ P | p ≤ x } として与えられる。

フィルターの双対概念をイデアルという。つまりフィルターの条件における ≤ を ≥ に、∧ を ∨ にそれぞれ取り替えた条件を満たす半順序集合の部分集合をイデアルという。このイデアルの定義は束上で代数構造におけるイデアルの概念と一致する(束は順序構造とともに代数構造を持つ)(この時、超フィルターの概念は極大イデアルに対応する)。
写像とフィルター

Φ: K → L を束 K, L の間の束準同型、F を L 上のフィルターとし、F の Φ による逆像 Φ?1(F) = { x ∈ K : Φ(x) ∈ F } は空集合でないとする。このとき Φ?1(F) は K 上のフィルターとなる。更に K, L が最小元を持つ束で Φ が最小限を保つ束準同型のとき、F が真のフィルターなら Φ?1(F) も真のフィルターとなる[5]。
冪集合の上のフィルター

フィルターの特別な例として冪集合上に定義されるフィルターが挙げられる。任意の集合 S に対し、その冪集合 P(S) 上に部分集合のあいだの包含関係によって半順序 ⊆ を定めることができ、これによって (P(S), ⊆) は束になる。特に混乱のないときは P(S) 上のフィルターは単に S 上のフィルターと呼ばれる。この集合 S 上のフィルター F は次のような P(S) の部分集合として特徴付けられる:
S は F に入っている（F は空でない）

空集合は F に入っていない（F は固有フィルター）

A と B が F に入っているならそれらの共通部分も F に入っている（F は有限の共通分操作について閉じている）

A が F の元、B が S の部分集合でかつ A が B の部分集合になっていれば B も F に入っている（F は上に閉じている）

はじめの3つの条件からフィルターは有限交差性を持つ（フィルターの元の有限個の共通分は空にならない）ことが分かる。

次の性質を持つ P(S) の部分集合 B はフィルター基と呼ばれる:
B に属する有限個の集合の共通部分は B のある集合を含む

B は空でなく、空集合は B に入っていない

フィルター基 B が与えられたとき、 B を含む P(S) の元すべてを考えることでフィルターが得られる。

集合 X 上のフィルター F と写像 f: X → Y に対し、P(Y) の部分集合 { f(A) : A ∈ F } はフィルター基になっている。これによって生成されるフィルターは記法の濫用によって f(F) と書かれる。

S の各部分集合 T に対して、 T が生成する単項フィルターが考えられる。また、S の任意の元 p について、 {p} が生成する単項フィルターのことを言葉の濫用により p が生成する単項フィルターとも呼ぶ。S の任意の元 p について、p が生成するフィルターは超フィルターになっている。有限集合上の超フィルターは必ず単項フィルターの形をしている。反対に、（無限集合上で）単項フィルターの形をしていない超フィルターの存在証明にはツォルンの補題が必要になる。

F が S 上の超フィルターならば、S の任意の部分集合 A について A ∈ F か Ac ∈ F のどちらかが成立している。
例

無限集合S に対し、補集合が有限であるようなS の部分集合すべての集まりは S 上のフレシェフィルターと呼ばれる。

集合 X 上の一様空間の構造は X × X 上のフィルターのうちで特定の公理を満たすものによって与えられる。

Rasiowa-Sikorskiの補題によって半順序集合上のフィルターが構成され、強制法で用いられている。

モデル理論におけるフィルター

集合 S 上の任意のフィルター F に対し、以下のようにして集合関数が定義できる： m ( A ) = { 1 if  A ∈ F 0 if  S ∖ A ∈ F undefined otherwise {\displaystyle m(A)={\begin{cases}1&{\text{if }}A\in F\\0&{\text{if }}S\setminus A\in F\\{\text{undefined}}&{\text{otherwise}}\end{cases}}}