Küme, matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.
Tanımda geçen nesne sözcüğü aslında yeterince açıklık ifade eden bir sözcük değildir. Ama sezgisel olarak, kümeyi oluşturan nesnelerin iyice tanımlı olduklarını; yani belirgin, başka nesnelerden ayırt edilebilir şeyler olduklarını düşünüyoruz demektir. Bir bakıma, bir kümeyi oluşturan nesnelerin tek tek neler olduklarını düşünmekten çok, bir arada düşünebilir olmaları önemsenir.
Bir kümeyi oluşturan nesnelere o kümenin ögeleri veya elemanları adı verilir. Güneş, evrendeki yıldızlar kümesinin bir ögesidir. Bir kümenin ögesi olan nesne o kümenin içinde veya kümeye aittir. Küme tanımına göre bir öge ya kümenin içinde ya da içinde değildir.
