Definition:Undefined

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ and $T$ be sets

Let $H \subsetneqq S$ be a proper subset of $S$.

Let $f: H \to T$ be a mapping on $H$.


Let $x \in S \setminus H$ be an element of $S$ which is not in $H$.

Then $x$ is undefined for the mapping $f$.