Filter on Set/Examples/Closed Real Intervals

From ProofWiki
Jump to navigation Jump to search

Examples of Filters on Sets

Let $\FF$ be the set of all closed real intervals $\closedint x y$ such that:

$0 < x < \dfrac 1 2 < y < 1$

Then $\FF$ is a filter on the closed real interval $\closedint 0 1$.


Proof




Sources