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.
Topoloji, matematiğin ana dallarından biridir. Yunancada yer, yüzey veya uzay anlamına gelen topos ve bilim anlamına gelen logos sözcüklerinden türetilmiştir. Topoloji biliminin kuruluş aşamalarında yani 19. yüzyılın ortalarında, bu sözcük yerine aynı dalı ifade eden Latince analysis situs ür.
Bulanık mantık, bulanık eseme ya da puslu mantık, 1965 yılında Lütfü Aliasker Zade'nin yayınladığı bir makalenin sonucu oluşmuş bir mantık yapısıdır.
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:
Örnekleme istatistikte belirli bir yığından alınan kümeyi ifade eder. Örneğin; Türkiye'deki tüm üniversite sayıları bir yığın iken Ankara'daki üniversite sayısı bu yığından alınmış bir örnektir.
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.
Boş küme, matematikte hiçbir ögesi olmayan kümeye verilen addır. Boş kümeyi göstermek için ∅ simgesi kullanılır.
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.
- Her a
A için öyle bir e A vardır ki ea=ae=a olur.
Eğer 
bir kümeyse, 
kümesinden kümesine giden bir fonksiyona kümesi üzerine ikili işlem denir. İkili işlemi 
olarak gösterirsek, 
yerine genellikle 
, 
, 
ya da daha yaygın olarak 
yazmak bir gelenek halini almıştır. Burada önemli olan, her 
için, işlemin sonucu olan elemanının yine kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz. Örneğin, 
ise, 
işlemi bu küme üzerinde ikili bir işlem değildir. Örneğin, 
bir doğal sayı değildir. Öte yandan 
olarak tanımlanan işlem doğal sayılar kümesi üzerine ikili bir işlemdir.
Dizi, bir sıralı listedir. Bir küme gibi, ögelerden oluşur. Sıralı ögelerin sayısına dizinin uzunluğu denir. Kümenin aksine sıralı ve aynı ögeler dizide farklı konumlarda birkaç kez bulunabilir. Tam olarak bir dizi, tanım kümesi sayılabilen toplam sıralı kümelerden oluşan bir fonksiyon olarak tanımlanabilir. Örneğin doğal sayılar gibi. Diziler bu örnekte olduğu gibi sonlu olabilir. Ya da tüm çift pozitif tam sayılar gibi sonsuz olabilir.
Küme kuramında, birleşme, bir kümenin tüm ögelerinin topluluğudur ve ∪ ile sembolize edilir.
Mantıkta ve matematikte sonlandırılabilir bir operasyon olan ω'nin fonksiyonu
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.
Fonksiyonlar, sahip oldukları özelliklere göre sınıflandırılabilir.
Matematikte fonksiyon uzayı bir X kümesinden bir Y kümesine tanımlı fonksiyonların oluşturduğu kümeye verilen bir addır. Fonksiyonlar kümesi yerine fonksiyon uzayı denilmesinin nedeni matematiğin kendi içindeki uygulamalarında bu kümenin genellikle topolojik uzay veya vektör uzayı olarak ortaya çıkmasıdır.
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.
Eşyapı ya da izomorfizma (ya da izomorfi), aynı kategoride(grupta) olan benzer iki matematiksel obje arasında bir gönderim olup matematiksel vücut tersi yapıda da muhafaza edilir. Aralarında bu şekilde eşyapı bulunan objelere eşyapısal ya da izomorf(ik) objeler denir. Örneğin iki küme arasında eşyapı, birebir, örten bir gönderimdir. Kümelerin üzerinde elemanlara sahip olma haricinde bir oluşum olmadığından, eşyapı gönderiminin koruyacağı başka bir yapı yoktur. Soyut cebirde iki grup arasında bir eşyapı, birebir, örten bir gönderimdir; dahası, iki gruptaki işleme saygı gösterir, bu iki işlemin birbirleriyle etkileşim halinde olmasını sağlar.
Matematiğin temellerinde, 1901'de Bertrand Russell tarafından keşfedilen Russell Paradoksu, Georg Cantor tarafından yaratılan sezgisel kümeler kuramının resmileştirilmesinin bazı girişimlerin bir çelişkiye yol açtığını gösterdi. Aynı paradoks 1899'da Ernst Zermelo tarafından da keşfedilmişti ancak Zermelo, sadece David Hilbert, Edmund Husserl ve Göttingen Üniversitesi'nin diğer üyeleri tarafından bilinen fikri yayınlamadı. 1890'ların sonunda Cantor, tanımının Hilbert ve Richard Dedekind'e mektupla söylediği bir çelişkiye yol açacağını fark etmişti.