Category:Image of Ultrafilter is Ultrafilter

This category contains pages concerning Image of Ultrafilter is Ultrafilter:

Let $X, Y$ be sets.

Let $f: X \to Y$ be a mapping.

Let $\FF$ be an ultrafilter on $X$.

Then the image filter $f \sqbrk \FF$ is an ultrafilter on $Y$.