theorem :: CLASSES5:42

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