Example:Empty codomain function
From CS2800 wiki
It is impossible to define a function for any (non-empty) set A. Indeed, if there exists an element , then cannot be in ∅, so cannot be well-defined.
It is impossible to define a function [math]f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} \href{/cs2800/wiki/index.php/%E2%88%85}{∅} [/math] for any (non-empty) set A. Indeed, if there exists an element [math]x \href{/cs2800/wiki/index.php/%E2%88%88}{∈} A [/math], then [math]f(x) [/math] cannot be in ∅, so [math]f [/math] cannot be well-defined.
