About the axiom of union, from the naive set theory is very natural understand the concept of union (as well others Boolean operation) between the subset os a fixed base set X, this is because $X$ is like a classification of its own elements, then is thinkable for each element $x$ and subset $A$ of $X$ if $x$ is in $A$ or not, this is because $X$ as collection fix a "determinism" (or a well founded conceptual control) on its elements and on its subsets. But is $x$ and $Y$ are different subset (totally different as context) what could be a criterion for think that a set $x$ (view as element) belong to $Y$?. Set theory is strong just because forget all possible questions or consideration about type or nature of elements, these are merely abstract, then how is thinkable that a general $x$ is in a general set $Y$? Axiom of extensionality seems give a formal and (ideally) operative answer to this: $x$ is in $Y$ (write $x\in Y$) iff exist a $y$ in $Y$ such that $x=y$ but this last is true iff (for the some axiom) elements of $x$ are equal to elements of $y$ and viceversa, and this could come a endless iteration. I know that these questions or nonsense for a pure formalitic point of view, Set theory is merely a set of rule and axiom of a precise first order logic theory, and $x\in Y$ dont mean nothing, but a formal formula. But when you start to make mathematics (or think about) do make a foundations, you haven't the mathematical logics, it is inside the mathematics too, you have the classical general Aristotle logic, and set theory before becoming the background for building clay for make any mathematical structure (the models of itself included) start from considerations that are half philosophical too.

But stop to these surreal considerations.

I ask, is we make a set theory $ZF'$ replacing the union axiom by the more weak:

WU) Give a family of subset $U_i\ i\in I$ ($I$ a set) of some set $X$, then exist the union

$\cup_{i\in I}U_i=${ $x\in X|\exists i\in I: x\in U_i $}.

(i.e. localize the *union axiom*, as the *separation axiom* is the localization of *axiom of formation of classes* for avoid the RUssel paradox)

and keep all other $ZF$ axioms, what could be the limitation of this new theory $ZF'$ respect to $ZF$?