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. Sıfır öge sayılı bir operasyona da "nullary" operasyon denir ve basitçe Y olağan tanım kümesinin bir elemanı olarak gösterilir.

Tüm-ögeli bir k operasyonuna "k-ary" operasyon denir. Öyle ki, bir k-ary operasyonu, ilk k tanım kümesinin ögelerine (k+1)ary ilişkisiyle bağlıdır. İşlevsel tanım aralıklarının elemanlarına "argüman", olası tanım kümesinin elemanlarına ise "değerler" denir. Operasyonlar çoğunlukla bir operatörü çağırır fakat diğer kullanıcılar bu haklarını daha özel kullanımlar için de saklı tutabilmektedir. Operasyonun herhangi bir aşamasında, argümanlar yerine işlenenler veya girdiler, değerler yerine sonuçlar veya çıktılar ifadeleri kullanılabilir.