theorem :: FUNCT_3:17

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