theorem :: CLASSES5:44

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