theorem Th18: :: COHSP_1:18

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