Здравствуйте, kov_serg, Вы писали:

_>Фигня какая-то:
_>Если число представимо по степеням двойки p=sum(ai*2^i, i=-inf..inf ) то оно пренадлежит S.

Если оно при этом рациональное, то знаменатель будет степенью двойки после сокращения дроби.