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
12. Basic real function
Basic rational function
Formulation 0
Let $\mathbb{Q}$ be the D368: Set of basic rational numbers.
A D18: Map $f : X \to Y$ is a basic rational function if and only if \begin{equation} Y \subseteq \mathbb{Q} \end{equation}
Child definitions
» D4948: Basic integer function