Continuous real-valued function (source code)

= Continuous real-valued function
{title2=$f:X\to\mathbb R$}

A <continuous real-valued function> is a continuous map whose codomain is the real line.