No.  S.UniversalSet - is [a problem](http://en.wikipedia.org/wiki/Universal_set).

But I think we should be able to specify a universe set (e.g. reals or integers).
e.g.
http://code.google.com/p/sympy/issues/detail?id=3233