Küme, iyi tanımlanmış birbirinden farklı nesneler topluluğudur. Küme elemanları yalnızca bir kez yazılabilir. İki gösterim yöntemi vardır: liste yöntemi ve ortak özellik yöntemi. Boş küme, elemanı olmayan kümedir. Evrensel küme, tüm kümelere ait elemanları içerir. Sonlu küme, sayılabilirken, sonsuz küme sayılamaz.