Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Function
Real collection function
Euclidean real function
Real function
Rational function
Definition D4948
Integer function
Formulation 0
Let Z be the D367: Set of integers.
A D18: Map f:XY is an integer function if and only if YZ
Children
D4949: Natural number function