Küme, birbirinden farklı nesnelerin bir araya gelmesidir. Nesneler elemanlardır. Bir küme listelenebilir: {1, 2, 3}. Veya tanımlanabilir: çift sayılar kümesi. Kümeler sonlu veya sonsuz olabilir. Boş küme, ∅ ile gösterilir ve hiçbir elemanı yoktur.

19. yüzyılda Cantor tarafından geliştirilen küme teorisi, modern matematiğin temeli haline geldi. İşlemler arasında birleşim, kesişim, fark ve tümleme bulunur. Venn diyagramları bu işlemleri görselleştirir.

Kümeler matematiğin her alanında karşımıza çıkar. Fonksiyonlar kümeleri kümelere eşler. Olasılık örneklem uzaylarını kullanır. Mantık, doğruluk değerleri kümelerini kullanır. Bilgisayar biliminde kümeler veri yapılarıdır. Kavram basit ama matematiğin neredeyse her dalı için temeldir.

• Farklı nesnelerin koleksiyonu
• Elementler nesnelerdir.
• İşlemler: birleşim, kesişim, tamamlayıcı
• Modern matematiğin temelleri