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