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