Axiom of Unoining

$$\begin{array}{rl}& \forall S:Set(SetA).\exists T:SetA.\\ & \forall x\in A.x\in T⟺\exists U\in S.x\in U\in S\end{array}$$