In Zermelo-Fraenkel Set Theory we can define the following If and then So we can form the set using (Un), (Pow), (Sep) In turn, we can form the set of all Function from to :