Skæringspunktet mellem mængder i mængdeteori er den mængde , hvortil de og kun de elementer hører, som samtidig hører til alle givne mængder. Skæringspunktet mellem to sæt og er normalt betegnet med , men i sjældne tilfælde kan det betegnes med [1] .
Lad sæt og blive givet . Så kaldes deres skæringspunkt sættet
Lad en familie af sæt være givet . Så er dens skæringspunkt et sæt bestående af elementer, der er inkluderet i alle sæt af familien:
Lad ,. _ Derefter