In the mathematical field of order theory, an ultrafilter on a given partially ordered set 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. Wikipedia