let X be set ; :: thesis: {{} } is Subset-Family of X
{} c= X by XBOOLE_1:2;
hence {{} } is Subset-Family of X by ZFMISC_1:37; :: thesis: verum