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