for X being set st X is rational-membered holds
X c= RAT