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