I am reading Halmos set theory, by substitution axiom we can form a union of sets which are constructed using the sentence the form s(a,b). My question is, lets say for each natural number I have set $A_n$, is it possible to take union of these sets?
Edit: $A_n$'s are not indexed