theorem Th85: :: CARD_2:86

for M, N being Cardinal
for f being Function st card (dom f) c= M & ( for x being object st x in dom f holds
card (f . x) c= N ) holds
card (Union f) c= M *` N