theorem Th25: :: FUNCT_3:25

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