for X being non empty rational-membered set ex w being Rational st w in X