Exercise 14, § 6

Show that if $f$ is a mapping of a set $X$ onto a set $X'$, then the image $f(\mathfrak{F})$ of every filter $\mathfrak{F}$ on $X$ is a filter on $X'$.