Category:Empty Mapping

From ProofWiki
Jump to navigation Jump to search

This category contains results about Empty Mapping.

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$