Definition:Empty Mapping

Definition
Let $T$ be a set.

Then the mapping whose domain is the empty set and whose codomain is $T$ is called the empty mapping:
 * $\O \subseteq \O \times T = \O$

Also known as

 * The empty function
 * The null mapping
 * The null function.

Also see

 * Empty Mapping is Unique
 * Empty Mapping is Mapping
 * Null Relation is Mapping iff Domain is Empty Set