حسب قانون التجميعية (A+B)^C = (A^C) + (B^C) و بما أن A جزء من X فان (A^C) = A ادن (A+B)^C = (A^C) + (B^C) A+ ( B^ C) =
; Arfoud quand il existe est unique