A function from a set to set is a subsest of s.t.

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