In matematica, due insiemi "si incontrano" quando hanno elementi in comune, creando un'intersezione ( 𝐴 ∩ 𝐵 𝐴 ∩ 𝐵 ) composta proprio da tali elementi condivisi. Se non hanno elementi comuni, sono insiemi disgiunti. L'incontro rappresenta la congiunzione logica tra i due gruppi, evidenziandone la parte comune.
Definizione Un insieme infinito è un insieme che può essere messo in corrispondenza biunivoca con un suo sottoinsieme proprio. Esempio L'insieme N dei numeri naturali è un insieme infinito. f (n) = 2n.
Si dice intersezione di due insiemi A e B, e si indica con A∩B, l'insieme formato da tutti quegli elementi che appartengono sia ad A che a B. (congiunzione): infatti A˄B è vero se e solo se sia A che B sono veri, così come d'altra parte A∩B è l'insieme degli elementi che appartengono sia ad A che a B.
alla congiunzione fra due proposizioni a ∧ b corrisponde lʼintersezione fra due insiemi A ∩ B. cioè il complementare dellʼunione di due insiemi è lʼintersezione dei loro rispettivi complementari, mentre il complementare della loro intersezione è lʼunione dei loro rispettivi complementari.
L'unione degli è l'insieme degli enti che appartengono a qualche A i ⋃ i ∈ I A i = { x ∣ ∃ i ∈ I ( x ∈ A i ) } mentre l'intersezione degli è l'insieme degli enti che appartengono ad ogni. Chiaramente ⋃ i ∈ I A i contiene ogni , mentre ⋂ i ∈ I A i è contenuta in ogni .