Definition:Empty Mapping
Jump to navigation
Jump to search
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.
Sources
- 1967: George McCarty: Topology: An Introduction with Application to Topological Groups: $\text{I}$
- 1996: Winfried Just and Martin Weese: Discovering Modern Set Theory. I: The Basics ... (previous) ... (next): Part $1$: Not Entirely Naive Set Theory: Chapter $1$: Pairs, Relations, and Functions