for X being rational-membered set st ( for w being Rational holds w in X ) holds
X = RAT