The empty function has empty domain and empty graph. For any specified codomain there is exactly one function from the empty set into it. This explains why a cardinal product over an empty index set is one, including the convention in cardinal exponentiation.
New to topics? Read the docs here!