Evrensel kümenin elemanı olup, A kümesinin elemanı olmayan elemanlardan oluşan kümeye A nın tümleyeni denir ve ya da A' ile gösterilir. A' = {x : x Î E ve x Ï A, A Ì E} dir. Tümleyenin Özelikleri Bir kümenin tümleyeninin tümleyeni kendisidir. Evrensel kümenin tümleyeni boş kümedir. Buna göre, E' = Æ olur. Boş kümenin tümleyeni evrensel kümedir. Buna göre, Æ' = E olur. Bir kümenin eleman sayısı ile o kümenin tümleyeninin eleman sayısı toplamı evrensel kümenin eleman sayısına eşittir. Buna göre, s(A) + s(A') = s(E) olur. A Ì B ise, B' Ì A' dir. B' Ì A' ise, A Ì B dir. E, evrensel küme olmak üzere, A È A' = E dir. A Ç A' = Æ dir. (A È B)' = A' Ç B' (A Ç B)' = A' È B' E, evrensel küme olmak üzere, E È A' = E dir. E, evrensel küme olmak üzere, E Ç A' = A' dir.
Buna göre, (A')' = A olur.