theorem Th33: :: TREES_2:33

for D being non empty set st ( for x being set st x in D holds
x is Tree ) holds
union D is Tree