フィルター (数学)
無限集合S に対し、補集合が有限であるようなS の部分集合すべての集まりは S 上のフレシェフィルターと呼ばれる。
集合 X 上の一様空間の構造は X × X 上のフィルターのうちで特定の公理を満たすものによって与えられる。
Rasiowa-Sikorskiの補題によって半順序集合上のフィルターが構成され、強制法で用いられている。