dom f = {} ;
then dom [:f,g:] = [:{},(dom g):] by FUNCT_3:def 9;
hence [:f,g:] is empty by ZFMISC_1:113; :: thesis: verum