Innen mengdelære er 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.