Erinevus lehekülje "Filter (matemaatika)" redaktsioonide vahel

resümee puudub
[[Osaliselt järjestatud hulk|Osaliselt järjestatud hulga]] (või üldisemalt [[eeljärjestus]]ega hulga) <math>(P,\leq)</math> '''filtriks''' nimetatakse tema [[mittetühi hulk|mittetühja]] [[alamhulk]]a, kui on täidetud järgmised tingimused:
 
# ''F'' on [[ülemine hulk]]: <math>\forall x\in F,y\in P: x\leq y\,\Rightarrow y\in F,</math>
# ''F'' on [[allapoole suunatud hulk]]:: <math>\forall x,y\in F\ \exists z\in F: z\leq x</math> ja <math>z\leq y.</math>
 
Filtri mõiste on üldistatav [[eeljärjestus]]ega hulkadele.
 
[[cs:Filtr (matematika)]]