f\colon\bigcup_{n\in\mathbb{N}} A_n\to\mathbb{R}