R_f \subseteq \mathbb{R}