Свойства операций

1. A U A = A.
2. A U Æ = A;
3. A ∩ Æ = Æ;
4. A U B = B U A (коммутативность сложения);
5. A ∩ B = B ∩ A (коммутативность умножения);
6. A U (B U C) = (A U B) U C (ассоциативность сложения);
7. (A ∩ B) ∩ C = A ∩ (B ∩ C) (ассоциативность умножения);
8. Если В Ì А, то A U B = A;
9. Если В Ì А, то A ∩ B = B;
10. A ∩ (B U C) = (A ∩ B) U (A ∩ C) (дистрибутивность умножения относительно сложения);
11. A U (B ∩ C) = (A U B) ∩(A U C) (дистрибутивность умножения относительно сложения).

назад к тексту