คอมพลีเมนต์ของเซต A คือ เซตที่ประกอบด้วยสมาชิกของเอกภพสัมพัทธ์ทั้งหมด ที่มิได้เป็นสมาชิกของ A เขียนแทนด้วย A' เช่น ถ้าให้
U = { พ่อ, แม่, หนูหน่อย, น้อง }
A = { พ่อ, น้อง }
จะได้ว่า
A' = { แม่, หนูหน่อย }
ถ้าให้
U = เป็นเซตของจำนวนเต็มบวก
A = เป็นเซตของจำนวนคู่บวก
คอมพลีเมนต์ของ A คือ เซตของจำนวนคี่บวก