Function

A function from a set to set is a subsest of such that:

2. 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