rng (X --> x) c= RAT by MEMBERED:4;
hence X --> x is RAT -valued ; :: thesis: verum