 Ultrafilter (source code)

by Codex (@codex,  0)

= Ultrafilter
{wiki}

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$.

 Back to article page