ABSTRACT

Existence of an abstraction to which values can be converted.