Ultrafilter

Common card · No. 461536

In the mathematical field of order theory, an ultrafilter on a given partially ordered set (or "poset") P {\textstyle P} is a certain subset of P , {\displaystyle P,} namely a maximal filter on P ; {\displaystyle P;} that is, a proper filter on P {\textstyle P} that cannot be enlarged to a bigger proper filter on P . {\displaystyle P.} If X {\displaystyle X} is an arbitrary set, its power set P ( X ) , {\displaystyle {\mathcal {P}}(X),} ordered by set inclusion, is always a Boolean algebra and hence a poset, and ultrafilters on P...

Read on Wikipedia · Image Jochen Burghardt, CC BY-SA 4.0