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