Suma zbiorów
Przez sumę zbiorów A i B rozumiemy zbiór, którego elementami są wszystkie elementy zbioru A i wszystkie elementy zbioru B i który innych elementów nie zawiera.
Sumę zbiorów A i B oznaczamy A∪B. Z definicji sumy zbiorów wynika, że x ∈ A∪B wtedy i tylko wtedy, gdy x jest elementem co najmniej jednego ze zbiorów A lub B, czyli wtedy i tylko wtedy, gdy x∈A lub x∈B.
Zamiast słowa lub często piszemy symbol ∨. Przy tej umowie zapisujemy symbolicznie warunek konieczny i dostateczny na to, aby x ∈ A∪B w sposób następujący: (x ∈ A∪B) ⇔ (x∈A ∨ x∈B).
Sumę zbiorów A∪B można przedstawić graficznie jako obszar zacieniowany:
Własności sumy zbiorów
A ∪ B = B ∪ A
A ∪ (B ∪ C) = (A ∪ B) ∪ C
0 ∪ A = A
A ∪ A = A