404 889
muudatust
resümee puudub
Resümee puudub |
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>
[[cs:Filtr (matematika)]]
| |||