Q_, or equivalently solvelib::BasicSet(Dom::Rational),
represents the set of rational numbers.
The four basic sets are assigned to the identifiers Z_, Q_, R_,
and C_ during system initialization.
Equivalently, is(a in S) may be used.
is(a in S)