Given a set X, the empty function to X is the function to X from the empty set. This always exists and is unique; in other words, the empty set is an initial object in the category of sets.