Herkes tarafından bilinen, elemanları iyi tanımlanmış,birbirinden farklı nesnelerin veya şekillerin bir araya gelerek oluşturdukları topluluklar bütününe yada net bir şekilde tanımlanmış nesneler topluluğuna küme denir.Bazı,kimi,bir kısım gibi netlik ifade etmeyen ve kişisel yorumlara dayalı ifadeler küme belirtmez.Bazı şovmenler,Dünyanın en güzel kadını; bunlar küme belirtmez.Kümeler büyük harflerle gösterilir.

Evrensel küme: Üzerinde işlem yapılan tüm kümeleri içine alan kümeye denir.En büyük kümedir.

Tümleyen: A'nın tümleyeni veya tümleneni demek, A kümesinin dışında kalan bütün elemanların oluşturduğu kümedir.