theorem :: FUNCT_3:26

for B being set
for f being Function st B c= bool (rng f) holds
union ((" f) .: B) = f " (union B)