 Ultrafilter

An ultrafilter on a set $X$ is a proper filter on a set that contains exactly one of $A$ and $X\setminus A$ for every $A\subseteq X$.

An ultrafilter is a mathematical concept that arises in the field of set theory and topology, particularly in the context of ordered sets and Boolean algebras. Here's an overview of what an ultrafilter is: 1. **Definition**: An ultrafilter on a set \( X \) is a maximal filter, which is a collection of subsets of \( X \) that satisfies certain properties: - It is non-empty.