theorem Th24: :: CARD_3:24

for f, g being Function st f c= g holds
Union f c= Union g