Exercise 13, § 6

Let $f$ be a mapping of a set $X$ into a set $X'$. Then $f$ is injective if and only if, for every filter base $\mathfrak{B}$ on $X$, $(f^{-1}(\mathfrak{B}))$ is a filter base equivalent to $\mathfrak{B}$.