A kümesinde olup, B kümesinde olmayan elemanların kümesine B fark A kümesi denir. 

Her küme kendisinin alt kümesidir.

Bir kümenin hiç elemanı yoksa evrensel küme denir.

A veya B kümesinin elemanlarından oluşan kümeye iki kümenin kesişim kümesi denir.

Bir kümenin dışında kalan elemanların oluşturduğu kümeye boş küme denir.