{} c= E ;
then {} in bool E by ZFMISC_1:def 1;
hence {} is Subset of E by Def1; :: thesis: verum