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 :