Description: The set of functions from the empty set is the singleton containing the empty set. (Contributed by AV, 13-Sep-2024)