theorem
  for f being Function st Union f = {} holds f.x = {} by Th1,XBOOLE_1:3;
