Bool cebirinde konsensüs teoremi aşağıdaki ifadenin yalınlaştırılmasıdır:
xy + x'z + yz = xy + x'z
Bu denklemin duali ise
(x + y)(x' + z)(y + z) = (x + y)(x' + z)
biçiminde ifade edilir. Sayısal mantıkta gecikmeleri önleme alanında kullanılır.
Korelasyon, olasılık kuramı ve istatistikte iki rassal değişken arasındaki doğrusal ilişkinin yönünü ve gücünü belirtir. Genel istatistiksel kullanımda korelasyon, bağımsızlık durumundan ne kadar uzaklaşıldığını gösterir.
Ç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.
Navier-Stokes denklemleri, ismini Claude-Louis Navier ve George Gabriel Stokes'tan almış olan, sıvılar ve gazlar gibi akışkanların hareketini tanımlamaya yarayan bir dizi denklemden oluşmaktadır.
X kromozomu, iki eşey kromozomundan biridir.
Y kromozomu, iki eşey kromozomundan biridir. Bütün erkeklerde normalde "44, XY" normal karyotip olarak X kromozomuya birlikte bulunur.
Lie işlemcisi, matematikte ve fizikte geniş bir kullanım alanı bulur. Bir cismin üzerine bu dönüşüm ile tanımlanan yöney (vektör) uzayı Lie cebri olarak adlandırılır. Adını Sophus Lie'den almıştır.
Eğer 
Matematikte, bir kısmi diferansiyel denklem birkaç değişkenli bir fonksiyon ile bu fonksiyonun değişkenlere göre kısmi türevleri arasındaki ilişkiyi inceler.
Gökbilim ve fiziksel kozmolojide, bir nesnenin metal bolluğu (Z), özdeğinin hidrojen (X) ve helyum (Y) dışında içerdiği kimyasal elementlerin oranıdır. Evrenin en büyük ölçekteki nesnelerinin büyük oranda bu iki elementi içermesi nedeniyle, gök bilimciler helyumdan daha ağır her elementi "metal" olarak belirtmektedirler. Örneğin karbon zengini bir bulutsu bile, her ne kadar karbon metal olmasa da, bu koşullarda "metal zengini" olarak belirtilmektedir. Örneğin Güneş'in metal bolluğu (Z) 0.02'dir. Bu, Güneş kütlesinin %2'sinin Helyum'dan daha ağır elementlerden oluştuğu anlamına gelir.
Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.
Matematikte aşağıda gösterilen özellikleri sağlayan cebir yapısına "alan" denir. Alan sonlu sayıda elemanlardan (noktalardan) oluşursa "Galois" alanı denir. Fizik kuramlarında kullanılan alanlar genellikle sonsuz sayıda nokta içerir. Alan'daki her nokta reel sayı, karmaşık sayı, vektör, tensör, spinor ya da fonksiyon olabilir.
Mesafe (uzaklık), iki noktanın birbirlerinden ne kadar ayrı olduklarının sayısal ifadesidir. Metrik ölçüm sisteminde uzaklık birimi metredir ve m sembolü ile gösterilir.
Olasılık kuramında iki olayın bağımsız olması bu olaylardan birinin gerçekleşme olasılığının diğer olayın gerçekleşip gerçekleşmediğine bağlı olmaması anlamına gelmektedir. Örneğin;
Tamlık bölgesi, halka ile cisim arasında yer alan bir cebirsel yapıdır. Bir tamlık bölgesi sıfır böleni içermeyen bir halkadır. Yani sıfırdan farklı iki elemanın çarpımı sıfırdan farklıdır; 
Almanya'daki şehirler listesi, 1 Ocak 2017 itibarıyla Almanya'da bulunan 2060 şehir ve ilçenin alfabetik olarak sıralanmış bir listesidir.
Burada, en yaygın olarak kullanılan koordinat dönüşümü bazılarının bir listesi verilmiştir. Kısmi türevler alınırken çarpımın türevi gibi davranıldığı akıldan çıkarılmamalıdır. Bir örnek olarak 
Diofantos denklemi diğer bir adıyla Diophantine denklemleri adını M.S. 3. yüzyılda yaşadığı tahmin edilen Antik Yunan matematikçilerden Diofantos'dan alan değişkenleri ve katsayıları tam sayılar olan denklemlerdir. Diofantos Arithmetika adlı sadece 6 cildi günümüze ulaşan çalışmasında 130 denkleme ve bunların çözümlerine yer vermiştir.
Değişken değiştirme, İntegral, çarpanlara ayırma, denklemler, üslü denklemler, trigonometri ve diferansiyel denklemler başta olmak üzere matematiğin her alanında işlemi basitleştirmek için kullanılan matematiksel bir yöntemdir.
Matematikte birleşmeli özellik, bir küme üzerine tanımlanmış ikili işlemlerin ayırt edici özelliklerinden biridir. Bu özelliği sağlayan ikili işlemlere birleşmeli işlem denir. Açık olarak bu özellik, (xy)z = x(yz) demektedir, yani üç elemanı "çarparken" işlem sırasının önemli olmadığını söylemektedir, bir başka deyişle birleşmeli özellikte işlem yaparken paranteze gerek olmadığını söylemektedir. Örneğin tam sayılar kümesi Z üzerine tanımlanmış olan toplama işlemi birleşmeli bir işlemdir ancak çıkarma işlemi birleşmeli değildir, çünkü 
Geometride, Routh teoremi verilen bir üçgen ile üç cevianın ikili kesişimlerinden oluşan bir üçgen arasındaki alanların oranını belirler. Teorem, eğer 
