for V, A being set
for f, g being finite Function st f tolerates g & f in NDSS (V,A) & g in NDSS (V,A) holds
f \/ g in NDSS (V,A)