ω : X1 í— a€¦ í— Xk a†’ 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 öğe-tüm sayısı denir. Sıfır öğe 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-öğeli bir k operasyonuna "k-ary" operasyon denir. Öyle ki, bir k-ary operasyonu, ilk k tanım kümesinin öğelerine (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. matematik-taslak