let R be Relation; :: thesis: ( R is empty implies R is empty-yielding )
assume R is empty ; :: thesis: R is empty-yielding
then rng R = {} ;
hence rng R c= {{}} by XBOOLE_1:2; :: according to RELAT_1:def 15 :: thesis: verum