Bài tập 13, § 6

Cho $f$ là một ánh xạ từ một tập hợp $X$ vào một tập hợp $X'$. Khi đó $f$ là đơn ánh khi và chỉ khi, với mọi cơ sở lọc $\mathfrak{B}$ trên $X$, $(f^{-1}(\mathfrak{B}))$ là một cơ sở lọc tương đương với $\mathfrak{B}$.