theorem :: MEMBERED:16

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