Далі вони наводяться без доведення. ТВЕРДЖЕННЯ 1: Для будь-яких множин A, B, та C, виконуються такі співвідношення: комутативність: A ∪B = B ∪A A ∩B = B ∩A асоціативність: (A ∪B) ∪C = A ∪(B ∪C) (A ∩B) ∩C = A ∩(B ∩C)