Свойства множеств

Для A, B и C из класса объектов U имеют место законы:

§ассоциативный закон: (A B) C = A (B C), (A B) C = A (B C)

§коммуникативный закон: A B = B A, A B = B A

§закон о дополнении: A A' = U, A A' = Æ

§закон эквивалентности: A U = U, A U = A

§закон о пустом множестве: A Æ = А, A Æ = Æ

§закон инволюции: (A')' = A

§закон де Моргана: (A B)' = A' B', (A B)' = A' B'

§дистрибутивный закон: A (B C) = (A B) (A C),

A (B C) = (A B) (A C)