# Conents

## Definition

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.

## Properties

The empty function to the empty set is not a constant function.

Revised on July 27, 2013 19:45:59 by Urs Schreiber (89.204.130.27)