# Definition:Empty Mapping

## Contents

## 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**.

## Also see

## Sources

- 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*: $\text{I}$