let X be non empty rational-membered set ; :: thesis: ex w being Rational st w in X
ex x being object st x in X by XBOOLE_0:def 1;
hence ex w being Rational st w in X ; :: thesis: verum