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