Mall:Logiskafunktioner2Komplementet till en mängdA är den mängd som innehåller alla objekt som inte finns i A. Detta kan skrivas exempelvis ∁(A), eller Ω \ A om Ω är vårt universum (se differens). Av definitionen förstår man att ∁(∅) = Ω och ∁(Ω) = ∅.
Vanliga skrivsätt för komplementet till mängden A är <math>A^\complement</math> eller A*.