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), ${\overline {M}}$ eller $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.