theorem Th21: :: CLASSES5:21

for U being Universe
for X being set st union X in U holds
X in U