The inverse of RANGE. A class C is a range-of a relation R if C is a superclass-of the exact range of R.