reconsider L = {} as T-Sequence ;
take L ; :: thesis: L is Z -valued
rng {} = {} ;
hence rng L c= Z by XBOOLE_1:2; :: according to RELAT_1:def 19 :: thesis: verum