Definition:Empty Mapping

From ProofWiki
Jump to: navigation, search

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