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