# nLab empty function

Given a set $X$, the empty function to $X$ is the function to $X$ from the empty set. This always exists and is unique; in other words, the empty set is an initial object in the category of sets.

Revised on August 20, 2010 00:16:27 by Toby Bartels (75.88.94.102)