Joukkoteoriassa joukkojen leikkauspiste on joukko , johon kuuluvat ne ja vain ne alkiot , jotka kuuluvat samanaikaisesti kaikkiin annettuihin joukkoihin. Kahden joukon ja leikkauspiste on yleensä merkitty , mutta harvoissa tapauksissa se voidaan merkitä [1] .
Olkoon asettaa ja annetaan . Sitten niiden leikkauskohtaa kutsutaan joukoksi
Olkoon joukkojen perhe annettu . Silloin sen leikkauspiste on joukko, joka koostuu alkioista, jotka sisältyvät kaikkiin perheen joukkoihin:
Anna , . Sitten