Definition:Integer-Valued Function
Jump to navigation
Jump to search
Definition
Let $f: S \to T$ be a function.
Let $S_1 \subseteq S$ such that $f \left({S_1}\right) \subseteq \Z$.
Then $f$ is said to be integer-valued on $S_1$.
That is, $f$ is defined as integer-valued on $S_1$ if and only if the image of $S_1$ under $f$ lies entirely within the set of integers $\Z$.
An integer-valued function is a function $f: S \to \Z$ whose codomain is the set of integers $\Z$.
That is, $f$ is integer-valued if and only if it is integer-valued over its entire domain.