A1: D in bool D by ZFMISC_1:def 1;
{} c= D by XBOOLE_1:2;
hence {{},D} is Subset-Family of D by A1, ZFMISC_1:32; :: thesis: verum