Iloczyn zbiorów
Przez iloczyn zbiorów A i B rozumiemy część wspólną tych zbiorów, czyli zbiór zawierający tylko te elementy, które jednocześnie należą do zbioru A i do zbioru B.
Iloczyn zbiorów A i B nazywamy także ich częścią wspólną lub przekrojem i
oznaczamy symbolicznie A∩B.
Z definicji iloczynu zbiorów wynika, że x∈A∩B
wtedy i tylko wtedy, gdy x ∈ A i x ∈ B.
Zamiast spójnika i często piszemy symbol ∧. Korzystając z tego 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)
Iloczyn zbiorów A∩B można przedstawić graficznie jako obszar zacieniowany:
Własności iloczynu zbiorów
A ∩ B = B ∩ A
A ∩ (B ∩ C) = (A ∩ B) ∩ C
0 ∩ A = 0
A ∩ A = A