theorem :: CLASSES5:41

for U being Universe
for X being Set of U holds union X is Set of U