Komplement i mengdelære

Innan mengdelære er komplementet til ei mengd M mengda av alle elementa som ikkje er med i M. Dette vert òg omtalt som absolutt komplement. Det relative komplementet for ei mengd vert kalla mengddifferanse. Ofte vert det absolutte komplementet av M skrive som ∁(M), ${\displaystyle {\overline {M}}}$ eller ${\displaystyle M^{\complement }}$. Ein har ofte ei underliggjande universalmengde som det vert teke utgangspunkt i.

Eit konkret døme; om universalmengda inneheld alle menneske på jorda og ein tek komplementet av mengda over alle kvinner, vil ein få mengda over alle menn.