Q_, or equivalently
represents the set of rational numbers.
The four basic sets are assigned to the identifiers
C_ during system initialization.
contains— Test whether some object is a member
is(a in S) may be used.
convert— Convert a domain into a basic set
set2prop— Convert a set to a property