Definition:Domain (Relation Theory)/Relation

Definition
Let $\mathcal R \subseteq S \times T$ be a relation.

The domain of $\mathcal R$ is defined as:
 * $\Dom {\mathcal R} := \set {s \in S: \exists t \in T: \tuple {s, t} \in \mathcal R}$

and can be denoted $\Dom {\mathcal R}$.

That is, it is the same as what is defined here as the preimage of $\mathcal R$.

Also defined as
Some sources define the domain of $\mathcal R$ as the whole of the set $S$.

Using this definition, $s \in \Dom {\mathcal R}$ whether or not $\exists t \in T: \tuple {s, t} \in \mathcal R$.

Most texts do not define the domain in the context of a relation, so this question does not often arise.

Even if it does, the domain is often such that either it coincides with $S$ or that it is of small importance.

Also known as
Some sources refer to this as the domain of definition of $\mathcal R$.

Also see

 * Definition:Codomain of Relation
 * Definition:Range


 * Definition:Image Set of Relation
 * Definition:Preimage of Relation