Relation RANGE-OF

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.
Arity: 2
Inverse: Range