theorem Th46:
  {{}} is Subset-Family of X
proof
  {} c= X;
  hence thesis by ZFMISC_1:31;
end;
