(A/B) n B=0 n - iloczyn

(A/B) n B=0 To jest zbiór pusty, bo w A]B nie ma elementów z B więc nie może mieć części wspólnej z B.

Jeżeli ten iloczyn jest równy zbiorowi pustemu to każdy zbiór A i B spełnia dane równanie.