Zauważ, że jeśli zbiory A i B są rozłączne, to nie mają wspólnych elementów. Więc:
, ponieważ nie ma takiego elementu w zbiorze B, który znajdowałby się w zbiorze A, więc żaden element nie musi być wykluczony.
, ponieważ nie ma takiego elementu w zbiorze A, który znajdowałby się w zbiorze B, więc żaden element nie musi być wykluczony.