Arbitrary union
Set
context
$ S\in \mathfrak U $
definiendum
$ x\in \bigcup S $
range
$ X\in S $
postulate
$ \exists X.\ x\in X $
Discussion
Reference
Wikipedia:
Arbitrary union
Parents
Element of
Set universe
Context*
Set universe