R_, or equivalently solvelib::BasicSet(Dom::Real),
represents the set of real 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)