theorem Th1: :: WELLFND1:1

for X being functional set st ( for f, g being Function st f in X & g in X holds
f tolerates g ) holds
union X is Function