filter
(Q1052692)
in order theory, a nonempty, downward‐directed, upward‐closed subset of a preordered set
in order theory, a nonempty, downward‐directed, upward‐closed subset of a preordered set
Language:
Current Data About
filter
| (P279) |
(Q120868052)
(Q2528262) |
||||||||
| (P361) |
(Q78054942)
|
||||||||
| (P461) |
(Q1656686)
|
||||||||
| (P2534) |
\varnothing\ne \bigcup_{x\in F}\uparrow x=F\subset P\land(\forall x,y\in F\exists z\in F\colon x\ge z\le y)
|
||||||||
| (P2579) |
(Q18533485)
(Q24175351) |
||||||||
| (P6104) |
(Q8487137)
|
||||||||
| (P7235) |
(P,\le)
\varnothing
F
\land
|