Definition:Domain (Relation Theory)

The domain of a relation $$\mathcal{R} \subseteq S \times T$$ is the set $$S$$ and can be denoted $$\mathrm {Dom} \left({\mathcal{R}}\right)$$.