Doğal sayılar, 
Matematikte, bir S kümesinin boş olmayan her altkümesi için, en küçük bir eleman tanımlayan tam sıralara, S kümesi üzerinde tanımlı bir iyi-sıra denir. İyi-sıralılık özelliğine sahip bir S kümesi iyi sıralı bir kümedir.
Sayılabilirlik, bir kümedeki eleman sayısıyla doğal sayılar arasında birebir eşleme kurulabilme durumu.
Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:
Fonksiyon, matematikte değişken sayıları girdi olarak kabul edip bunlardan bir çıktı sayısı oluşmasını sağlayan kurallardır. Fonksiyon, 17. yüzyılda matematiğin kavramlarından biri olmuştur. Fizik, mühendislik, mimarlık ve birçok alanda kullanılmaktadır. Galile, Kepler ve Newton hareketlerin araştırılmasında, zaman ve mesafe arasındaki durumu incelemek için fonksiyonlardan faydalanmıştır. Dört işlemden sonra gelen bir işlem türüdür.
Soyut cebir veya soyut matematik, matematiğin bir alanı olup, cebirsel yapılar üzerinde çalışır. Cebirsel yapılar, elemanları üzerinde belirli işlemlerin uygulandığı kümelerdir ve gruplar, halkalar, alanlar, modüller, vektör uzayları, kafesler ve alan üzerindeki cebirler içerir. Soyut cebir terimi, 20. yüzyılın başlarında temel cebirden ayırmak amacıyla türetilmiştir. Soyut cebir ileri matematik için temel hale geldikçe basitçe "cebir" olarak adlandırılırken, "soyut cebir" terimi pedagoji dışında nadiren kullanılır.
Matematikte, A ve B iki küme olmak üzere A'nın her elemanı B'nin de elemanı oluyorsa, A'ya B'nin alt kümesi denir. B'ye de A'nın kapsayan kümesi denir. Her küme kendisinin bir alt kümesidir. Boş küme, her kümenin alt kümesidir.
Matematikte permütasyon, n elemanlı bir kümenin k elemanlı alt kümelerinin k kere yer değiştirme sayısıdır.
Çarpma, temel aritmetik işlemlerden biridir. Sayılarda çarpma, çarpılan sayının çarpan sayı kadar adedinin toplamının alınması işlemidir.
Grup, soyut cebirin en temel matematiksel yapısıdır. Grup, ayrıca bir ikili işlemin tanımlı olduğu bir kümedir. Bir grubun grup olabilmesi için aynı zamanda bu işlemin birleşmeli, birim elemanlı ve ters elemanlı olması gerekir. Soyut cebirin halka, cisim, modül gibi diğer yapılarının temelini oluşturur.
Matematikte birim öge, birim eleman, etkisiz eleman veya nötr eleman, bir kümenin özel bir ögesidir. Bir kümede herhangi bir ögeyle işleme girdiğinde yine aynı ögeyi verir. Genel olarak e ile gösterilir.
A için öyle bir e A vardır ki ea=ae=a olur.Öge veya eleman, kümeler kuramında bir kümeye ait olan, fakat aynı zamanda tanımsız terimlerinden biridir. Kümelerin ya da genel olarak sınıfların ögesi olur.
Eğer 
Vektör uzayı veya Yöney uzayı, matematikte ölçeklenebilir ve eklenebilir bir nesnelerin (vektörlerin) uzayına verilen isimdir. Daha resmî bir tanımla, bir vektör uzayı, iki elemanı arasında vektör toplamasının ve skaler denilen sayılarla çarpımın tanımlı olduğu ve bunların bazı aksiyomları sağladığı kümedir. Skalerler, rasyonal veya reel sayılar kümesinden gelebilir, ama herhangi bir cisim üzerinden bir vektör uzayı oluşturmak mümkündür. Vektör uzayları, skalerlerin geldiği cisime göre reel vektör uzayı, kompleks vektör uzayı veya genel bir cisim üzerinden K vektör uzayı şeklinde adlandırılır.
Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadı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.
Olasılık kuramında olay, kendisine bir olasılık değeri atanan sonuç kümesine verilen addır. Örnek uzayın sonlu olması durumunda bu kümenin herhangi bir altkümesi bir olay oluşturmaktadır. Ne var ki, bu yaklaşım örnek uzayın sonsuza uzandığı durumlarda işe yaramamaktadır. Bu nedenle, olasılık uzayı tanımlamalarında örnek uzayın bazı altkümeleri göz önüne alınmaz.
Bulanık küme kavramı, küme kavramının eleman olmanın derecelendirilmesine dayanan bir genelleştirilmesidir. Bulanık kümeler belirtisiz mantığın doğal bir genişlemesi olarak 1965 yılında Lütfi Aliaskerzade tarafından tanımlanmıştır. Bir nesne bir kümenin ya elemanı ya da elemanı değilken, bir bulanık kümenin belirli bir oranda kısmen elemanı olabilir.
Sıra teorisi, ikili bağıntıları kullanma sırasının sezgisel kavramını inceleyen bir matematik dalıdır. "Bu, şundan daha küçüktür" veya "bu, şundan daha öncedir" gibi durumları inceler.
Birebir örten fonksiyon, matematikte hem birebir hem örten fonksiyon özelliklerini aynı anda gösteren fonksiyonlardır. İki küme arasındaki fonksiyonda 1.kümeden her bir eleman ikinci kümedeki elemanla eşleşir ve her iki kümeden açıkta eleman kalmaz. Örten fonksiyon görüntü kümesinde boşta eleman kalmayacak şekilde eşleşmenin gerçekleştiği, birebir fonksiyon ise her bir elemanın diğer kümenin bir elmanıyla eşleştiği fonksiyondur. Birebir örten fonksiyonlar ise bu iki fonksiyonun özelliklerine aynı anda sahip olan fonksiyonlardır.
Soyut cebirde, bidördeyler 
