Bài tập 14, § 6

Chứng minh rằng nếu $f$ là một ánh xạ của một tập hợp $X$ lên một tập hợp $X'$, thì ảnh $f(\mathfrak{F})$ của mọi bộ lọc $\mathfrak{F}$ trên $X$ là một bộ lọc trên $X'$.