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
Function
<No formulations for this definition yet>
Also known as
Number map
Child definitions
» D4806: Arithmetic function
» D3383: Constant function
» D3739: Laplace transform