0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. Zermelo-Fraenkel set theory
5. Set
6. Binary cartesian set product
7. Binary relation
8. Map
9. Function
10. Real function
11. Euclidean real function
Basic real function
Formulation 0
Let $\mathbb{R}$ be the D282: Set of basic real numbers.
A D18: Map $f : X \to Y$ is a basic real function if and only if \begin{equation} Y \subseteq \mathbb{R} \end{equation}
Child definitions
» D4947: Basic rational function
» R4127: Basic real exponentiation function with unsigned exponent is isotone on unsigned basic reals