# 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:

$\varnothing \subseteq \varnothing \times T = \varnothing$

## Also known as

• The empty function
• The null mapping
• The null function.