Definition: Ultrafilter

If $F$ is a filter on a set $X$ and there is no filter $G$ on $X$ that is strictly finer than $F$, then $F$ is called an ultrafilter on $X.$


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
  3. Grotemeyer, K.P.: "Topologie", B.I.-Wissenschaftsverlag, 1969