A function from a set
such that if and then
For , the restriction of to is
In Zermelo-Fraenkel Set Theory we introduce abbreviations
- ’
is a function’ means
- ’
is a function from to ’ (written as ) means
A function from a set
In Zermelo-Fraenkel Set Theory we introduce abbreviations