Jcach 9ł| * U i “ Ulo
sz\slk»e iloczym pierwszej rodziny ('•>,)! drugiej (31,); (iloczyny Aj B(); zsumowane dają U Iloczy nów takich jest n m.
Jeżeli wszystkie podzbiory U (Aj Bj) są niepuste podział U według 31, i 31,jest niezależny i ma irm części. Jeżeli istnieją iloczyny będące zbiorami pustymi - podział jest zależny i wyróżnia mniej części niż n iw