let R be Relation of X,Y; :: thesis: R is rational-valued
thus rng R c= RAT by MEMBERED:4; :: according to VALUED_0:def 4 :: thesis: verum