for A, B, X, Y being set st A c= X & B c= Y & X misses Y holds
A misses B