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