presjek skupova (znak ∩), za dva skupa A i B skup svih elemenata iz skupa A koji su ujedno elementi iz skupa B, dakle: A ∩ B = {x|x ∈ A i x ∈ B}, npr. [1, 2, 3] ∩ [1, 3, 4, 6] = [1, 3].
Disjunktni skupovi oni su kojima je presjek prazan skup: A ∩ B = ∅. Analogno se definira i presjek više skupova. Vrijede komutativnost: A ∩ B ≡ B ∩ A, asocijativnost: (A ∩ B) ∩ C ≡ A ∩ (B ∩ C) ≡ A ∩ B ∩ C i u odnosu na uniju skupova distributivnost: (A ∩ B) ∪ C ≡ (A ∪ C) ∩ (B ∪ C) i (A ∪ B) ∩ C ≡ (A ∩ C) ∪ (B ∩ C). U prikazu s pomoću Vennova dijagrama presjek skupova A ∩ B obuhvaća preklopljeni dio krugova A i B.
