Tanım: X ve Y'nin X\Y ile gösterilen farkı, X'de olan ama Y'de olmayan elemanların kümesidir. Eğer Y, X'in bir alt kümesi olarak tanımlanmışsa o zaman  X\ X\Y 'ye Y'nin X'deki tümleyeni denir ve Yile gösterilir.