คอมพลีเมนต์ของเซต\(A\) คือ เซตซึ่งสมาชิกแต่ละสมาชิกเป็นสมาชิกของเอกภพสัมพัทธ์ \(U\)  
แต่ไม่เป็นสมาชิกของเซต \(A\) เขียนแทนด้วย \(A', \overline{A}, A^c, \tilde{A}\) หรือ \(C(A)\)

ตัวอย่าง ให้ \(U = \) {\(1, 2, 3, 4,...,100\)} และ \(U = \){\(6, 7, 8, 9,...,100\)} จะได้ \(A' =\) {\(1, 2, 3, 4, 5\)}