Průnik množin v teorii množin je množina , do které patří ty a jen ty prvky , které současně patří do všech daných množin. Průsečík dvou množin a je obvykle označen , ale ve vzácných případech může být označen [1] .
Nechte soubory a být dán . Pak se jejich průsečík nazývá množina
Nechť je dána rodina množin . Pak jejím průsečíkem je množina sestávající z prvků, které jsou zahrnuty ve všech množinách rodiny:
Nechte ,. _ Pak