For any set [math]A [/math], there is exactly one function [math]f : \href{/cs2800/wiki/index.php/%E2%88%85}{∅} \href{/cs2800/wiki/index.php/%E2%86%92}{→} A [/math]. It does not need a definition, because it is impossible to put anything into it.