let Z be set ; :: thesis: {} is T-Sequence of Z
reconsider L = {} as T-Sequence ;
rng L = {} ;
then rng L c= Z by XBOOLE_1:2;
hence {} is T-Sequence of Z by RELAT_1:def 19; :: thesis: verum