theorem Th45: :: CLASSES5:43

for U being Universe
for X being set st union X is empty holds
X is U -set