Definition:Empty Mapping

Definition

Let $T$ be a set.

Then the mapping $e: \O \to T$ whose domain is the empty set and whose codomain is $T$ is called the empty mapping:

$e \subseteq \O \times T = \O$

Also known as

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

Also see

• Results about the empty mapping can be found here.