presjek skupova, u matematici, za dva skupa a i b to je skup svih elemenata od a koji su ujedno elementi od b; presjek a i b označuje se sa a ∩ b, npr. [1, 2, 3] ∩ [1, 3, 4, 6] = [1, 3]. Za skupove kojima je presjek prazan skup kaže se da se ne sijeku ili da su disjunktni. Analogno se definira i presjek više skupova. Vrijedi (a ∩ b) ∩ c = a ∩ (b ∩ c) = a ∩ b ∩ c, a ∩ b = b ∩ a. Također, u odnosu na uniju, presjek zadovoljava (a ∩ b) ∪ c = (a ∪ c) ∩ (b ∪ c) i (a ∪ b) ∩ c = (a ∩ c) ∪ (b ∩ c).