Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
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
:
X
→
Y
is an
integer function
if and only if
Y
⊆
Z
Children
▶
D4949: Natural number function