The domain of a relation R is the class containing every element that is the first component of some pair appearing in R.