for f being Function st f is union-distributive holds
f . {} = {}