Give:
$fn(S)=\prod_{x\in S}x$
what is:
$fn(\emptyset)$
I can see reason that it would be defined as 1 or 0.
Note: I thought about restricting the domain of $S$ but that would make the problem less general. If there is no general answer then answers for restricted domains would be valid.