for Y being set st Y in X holds
Y is countable ;
hence for b₁ being set st b₁ = union X holds
b₁ is countable by CARD_4:12; :: thesis: verum