f|_{\left\langle 0, +\infty \right\rangle}:\left\langle 0, +\infty \right\rangle \rightarrow \left\langle 0, +\infty \right\rangle