
theorem
  Web {{}} = {}
proof
  union {{}} = {} by ZFMISC_1:25;
  hence thesis;
end;
