Ultralimit
= Ultralimit
{wiki}
A point $x$ is the limit of a map $f:I\to X$ along an ultrafilter $\mathcal U$ on $I$ when $f^{-1}(V)\in\mathcal U$ for every <neighbourhood> $V$ of $x$. Every ultrafilter on a <compact space> has a limit, and that limit is unique in a <Hausdorff space>.
= Ultrafilter limit
{synonym}