A maximal proper filter on a set: a collection of subsets closed under finite intersection and supersets, not containing the empty set, and such that for every subset A either A or its complement belongs to the ultrafilter.

Principle

Maximality among filters: an ultrafilter extends the finite intersection property to a decisive selection rule that for each subset chooses membership or its complement, making it a two-valued finitely additive {0,1}-valued measure on the power set.

Demonstration

Given a point x in a set X, the principal ultrafilter of x consists of all subsets of X that contain x; a nonprincipal ultrafilter on the natural numbers (whose existence requires choice) contains all cofinite sets and more, determining limits along ultrafilter-directed subsequences.

Misapplication

Treating an arbitrary finitely additive set function as an ultrafilter or assuming nonprincipal ultrafilters exist constructively without invoking choice; or using ultrafilter selection as if it were unique and canonical on infinite sets.

Consequence

Ultrafilters yield compactness tools (Stone–Čech compactification), allow construction of ultraproducts and nonstandard limits, and turn eventual properties into definite membership statements enabling limit arguments and transfer principles.

Reversal

A proper filter that is not maximal: it may satisfy closure under intersections and supersets but fails the dichotomy that every subset or its complement is selected, so it provides less decisive selection for limits.

Boundary

Defined on arbitrary sets but the existence of nonprincipal ultrafilters on infinite sets depends on the axiom of choice; on finite sets every ultrafilter is principal and corresponds to a single point.

Semantic Tension

Filter versus ultrafilter: filters encode convergence and largeness without maximal decisiveness, whereas ultrafilters are maximal filters that behave like two-valued measures and afford stronger selection principles.

Synthesis

An ultrafilter is a maximal proper filter on a set that, by selecting either each subset or its complement, functions as a two-valued decisive device for limit and compactness constructions across topology, model theory, and combinatorics.