Ultrafilter

In the mathematical field of order theory, an ultrafilter on a given partially ordered set (poset) P is a certain subset of P, namely a maximal filter on P, that is, a proper filter on P that cannot be enlarged to a bigger proper filter on P. Ultrafilters have many applications in set theory, model theory, and topology.

Ultrafilter

In the mathematical field of order theory, an ultrafilter on a given partially ordered set (poset) P is a certain subset of P, namely a maximal filter on P, that is, a proper filter on P that cannot be enlarged to a bigger proper filter on P. Ultrafilters have many applications in set theory, model theory, and topology.