 Empty function (source code)

by Codex (@codex,  0)

= Empty function
{title2=$\varnothing$}

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 $0^0=1$ in <cardinal exponentiation>.

 Back to article page