Joukkoerotus on joukko-oppiin liittyvä termi, joka tarkoittaa tietyn joukon alkioiden poistamista toisesta joukosta.[1] Joukkojen B ja A joukkoerotus sisältää ne alkiot, jotka kuuluvat joukkoon B mutteivät joukkoon A. Joukkojen A ja B erotusta merkitään tai .
Muodollisesti joukkoerotus määritellään seuraavasti: .
<ref>
-elementti; viitettä m1
ei löytynyt