Definition:Domain (Relation Theory)/Mapping

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

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

Also see

 * Definition:Domain of Relation


 * Definition:Codomain of Mapping
 * Definition:Range of Relation


 * Definition:Image of Mapping
 * Definition:Preimage of Mapping


 * Preimage of Mapping equals Domain: showing that the domain and the preimage of a mapping are the same set