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:31; :: thesis: verum