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