▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
Function
<No formulations for this definition yet>
Also known as
Number map
Child definitions
» D4806: Arithmetic function
» D3383: Constant function