Ultrafilter [mde-INQP]

an ultrafilter in a poset \(P\) is a filter which is maximal (with respect to inclusion) amongst all proper filters (those not equal to \(P\)).

an ultrafilter in a set \(X\) is an ultrafilter in \(\mathcal {P}(X)\).