Operasyon Teorisi
Mantıkta ve matematikte sonlandırılabilir bir operasyon olan ω'nin fonksiyonu
ω : X1 × … × Xk → Y
biçimindedir. Xj serisi operasyonun tanım kümesi elemanları olup, Y serisi ise olası tanım kümesi elemanlarını ifade eder ve sabittir. Aynı zamanda negatif olmayan k'ya da operasyonun öge-tüm sayısı denir.