En grunnmengde (også kalt universalmengde og totalmengde) er i mengdelære en mengde som inneholder alle elementer under betraktning. Alle mengder som blir studert, er altså delmengder av grunnmengden.
Grunnmengden er ikke nødvendigvis presisert. Eventuell valg av grunnmengde vil avhenge av omfanget av analysen og valg av forutsetninger. I reell analyse kan for eksempel grunnmengden være valgt lik mengden av reelle tall eller mengden av reelle funksjoner.
Dersom grunnmengden er spesifisert, kan en definere (det absolutte) komplementet til en vilkårlig mengde. Grunnmengden er da lik en unionen av en vilkårlig mengde og komplementet. Komplementet til grunnmengden er lik den tomme mengden.
Referanser
Kategori:Mengdelære