A1: {x} c= RAT by MEMBERED:4;
rng (X --> x) c= RAT by A1, XBOOLE_1:1;
hence X --> x is rational-valued by Def4; :: thesis: verum