f\colon \bigcup\{B_k:k\in\mathbb{N}\}\rightarrow\mathbb{N}