domain

Let $R$ be a binary relation. Then the set of all $x$ such that $xRy$ is called the domain of $R$. That is, the domain of $R$ is the set of all first coordinates of the ordered pairs in $R$.