無限も有限も確認もない
x∊∪A⇔∃y∊A(x∊y)
という式があるのみ

合併集合があるというのは公理：
Aが集合ならば∪Aは集合

とくにAが空のとき∪Aが空であることは直接確かめられる