There are only axioms which assert that sets satisfying certain properties exist (and are unique).
Any expression involving $\bigcup x $is shorthand for a statement about any (hence the unique) set which contains exactly those $y $such that $y\in z\in x $for some $z $.