let R be Relation of X,Y; :: thesis: R is ext-real-valued
thus rng R c= ExtREAL by MEMBERED:2; :: according to VALUED_0:def 2 :: thesis: verum