A kümesi Evrensel kümenin bir alt kümesi olmak üzere, Evrensel kümede olup A kümesinde olmayan elemanların oluşturduğu kümeye A kümesinin tümleyeni denir ve A' ile gösterilir. (A üssü)
A' = {x: x ∈ E ve x ∉ A}

A kümesi, E evrensel kümesinin bir alt kümesi olsun. Bu evrensel kümenin elemanı olup A kümesinin elemanı olmayan elemanlardan oluşan kümeye A nın tümleyeni denir ve A'  ile gösterilir. A ve A' kümeleri aşağıdaki Venn şemasında gösterilmiştir.

Şekilde gösterilen boyalı bölge A' kümesine aittir. A' kümesini ortak özellik yöntemiyle şu şekilde gösterebiliriz: