for A, B being set st ( for x, y being set st x in A & y in B holds
x misses y ) holds
union A misses union B