Küme
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.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.
Ayrık küme: Kesişimleri boş kümedir.Yani iki küme arasında ortak veya beraber kullanılan eleman olmayacak.İç içe geçen A alt küme B olduğunda A fark B kümesi kesinlikle boş kümedir.
Eşit Küme: Elemanları aynı olan kümelere denir.Aynı zamanda eleman sayılarıda eşittir.
Denk Küme: Eleman sayıları aynı olan kümelere denir.Dikkat elemanları değil,eleman sayıları aynı olacak.Eşit kümeler denk kümelerdir ama, denk kümeler eşit küme değildir.