Exercise 4, § 6

Let $X$ be an infinite set. Show that the filter of complements of finite subsets of $X$ is the intersection of the elementary filters associated with infinite sequences in $X$ all of whose terms are distinct.