theorem Th3: :: TOPGEN_2:3

for X being set st ( for a being set st a in X holds
a is cardinal number ) holds
union X is cardinal number