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