Since \([a,\infty)\) is the intersection of the sets \((a-1/n,\infty)\), its preimage is a countable intersection of measurable sets and so lies in the σ-algebra. It is neither empty nor equal to the open preimage.
A function f: X → ℝ is measurable with respect to a σ-algebra \(\mathcal{A}\) on X if the preimage \(f^{-1}(B)\) belongs to \(\mathcal{A}\) for every Borel set B of ℝ.