Komplement (mengdelære)

Innen mengdelære er komplementet til ei mengde M ei mengde bestående av alle elementene som ikke er med i M. Dette omtales også som absolutt komplement. Det relative komplementet for ei mengde kalles mengdedifferanse. Ofte betegnes det absolutte komplementet av M som ∁(M),   eller . Ofte har man ei underliggende universalmengde som det tas utgangspunkt i. Følgende er et enkelt eksempel. Om universalmengda er alle menneskene på jorda og vi tar komplementet av alle kvinner, vil vi få alle menn.

Se også 
 Mengdedifferanse, mengden man får dersom man fjerner elementene i en bestemt mengde fra en annen mengde

Mengdelære