1.Daca A€(BC), atunci [AB reunit [AC=...
2.daca M€(AB)și N €(MB) , atunci :
a)[MAr eunit [NB=...
b) [AN]reunit cu [BM]​