# Definition:Empty Mapping

Jump to navigation
Jump to search

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

- $\O \subseteq \O \times T = \O$

## 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}$