Claim:There is no function with an empty codomain

Claim (see proof):

If [math]A [/math] is a non-empty set, then there is no function [math]f:A \href{/cs2800/wiki/index.php/%5Cto}{\to} \href{/cs2800/wiki/index.php?title=%5Cemptyset&action=edit&redlink=1}{\emptyset} [/math].