İyi tanımlanmış nesneler topluluğuna denir.

Ortak hiçbir elemanı olmayan kümelere denir.

Hiç elemanı olmayan kümelere denir.

Eleman sayıları eşit olan kümelere denir.

Aynı elemanlardan oluşan kümelere denir.

Eleman sayısı sayılabilir çoklukta olan kümelere denir.

Eleman sayısı sayılamayacak çoklukta olan kümelere denir.

İki kümenin ortak elemanlarından oluşan kümelere denir.

İki kümenin bütün elemanlarından oluşan kümelere denir.

Tüm kümeleri kapsayan en geniş kümeye denir. E ile de gösterilir.

Bir kümenin kendisi dışındaki diğer bütün alt kümelerine denir.

Bir kümenin alt kümelerinin kümesine denir.

A ve B herhangi iki küme olsun. B kümesinin her elemanı A kümesinin de elemanı ise, B ye A kümesinin............ denir.