for A, B being set st ( for X being set st X in A holds
X misses B ) holds
union A misses B