===== ℝ valued function =====
==== Function ====
| @#55CCEE: context     | @#55CCEE: $ X $ ... set |
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{it}\equiv X \to \mathbb R  $ |

==== Discussion ====
==== Parents ====
=== Subset of ===
[[ℂ valued function]]
=== Requirements ===
[[Real number]]