Definition:Domain (Set Theory)/Mapping

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: S \to T$ be a mapping.

The domain of $f$ is the set $S$ and can be denoted $\Dom f$.

In the context of mappings, the domain and the preimage of a mapping are the same set.


This definition is the same as that for the domain of a function.


Also known as

The domain of (usually) a mapping is sometimes called the departure set.

Others refer to it on occasion as the source, but this is not recommended as there are other uses for that term.

1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability, for example, possibly forgetting themselves, in Appendix $\text{A}.7$:

Here are some common functions and their inverses. Note how carefully the source and codomain are specified.


Some sources denote the domain of $f$ by $\operatorname D \paren f$.


Also see


Technical Note

The $\LaTeX$ code for \(\Dom {X}\) is \Dom {X} .

When the argument is a single character, it is usual to omit the braces:

\Dom X


Sources