Mapping to Singleton is Unique

Theorem
Let $S$ be a set.

Let $T$ be a singleton.

Then there exists a unique mapping $S \to T$.

Also see

 * Singleton is Terminal Object of Category of Sets