Joukkoerotus on joukko-oppiin liittyvä termi, joka tarkoittaa tietyn joukonalkioiden 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: .