This question can start an argument. The emptyset is problematic.

That said, I will give a quote directly from Halmos.

If each of is a set and is the set of all functions thenthe quote

" has exactly one element, namely , whether is empty or not, and (ii) if is not empty, then is empty."