Filter (matemaatika)

Osaliselt järjestatud hulga $(P,\leq )$filtriks nimetatakse tema mittetühja alamhulka, kui on täidetud järgmised tingimused:

1. F on ülemine hulk: $\forall x\in F,y\in P:x\leq y\,\Rightarrow y\in F,$

• F on allapoole suunatud hulk:: $\forall x,y\in F\ \exists z\in F:z\leq x$ ja $z\leq y.$

Filtri mõiste on üldistatav eeljärjestusega hulkadele.