Axiom: Filter

Let $X$ be a set. A filter $\mathcal F$ on $X$ is a set of subsets of $X$ fulfilling the following axioms:

  1. $F$ contains with every set also all of its supersets, formally $$O\in F\wedge O\subseteq S\Rightarrow S\in F.$$
  2. $F$ contains for each pair of set elements also their intersection, formally $$O_1,O_2\in\mathcal F\Rightarrow O_1\cap O_2\in\mathcal F.$$
  3. $F$ is not the empty set and it does not contain the empty set $$\mathcal F\neq\emptyset\wedge \emptyset\not\in\mathcal F.$$

If $X$ has a filter $\mathcal F,$ then it is called filtered by $\mathcal F.$

Notes

Definitions: 1 2
Proofs: 3
Propositions: 4


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Steen, L.A.;Seebach J.A.Jr.: "Counterexamples in Topology", Dover Publications, Inc, 1970
  2. Jänich, Klaus: "Topologie", Springer, 2001, 7th Edition