domainLet 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.