Bir kümenin sahip olduğu nesnelerin her birine denir.

Belirli bir özelliği sağlayan, iyi tanımlanmış nesneler topluluğuna denir.

Bir kümenin sahip olduğu elemanların kaç tane olduğunu gösteren doğal sayıya denir.

Aynı elemanlardan oluşan kümelere denir.

Üzerine işlemler yapılan tüm kümeleri kapsadığı kabul edilen kümeye denir.

Eleman sayısı sonlu olan kümelere denir.

Hiçbir elemanı olmayan kümeye denir.

Eleman sayısı sonlu olmayan kümelere denir.

Bir kümenin içerdiği bütün elemanlar başka bir kümede de bulunuyorsa bu kümeye denir.

Bir kümenin kendisi haricindeki alt kümelerine denir

A ve B birer küme olmak üzere, A ve B kümelerinin ortak elemanlarının oluşturduğu kümeye denir.

A ve B birer küme olmak üzere, A ve B kümelerinin tüm elemanlarının oluşturduğu kümeye denir.

A kümesi, E evrensel kümesinin bir alt kümesi olmak üzere, E kümesinde olup, A kümesinde olmayan elemanların oluşturduğu kümeye denir.