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