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, (doğal sayılar kümesi) 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.
Eğer her için ax = a ise a'ya soldan yutan eleman denir. Sağdan yutan eleman benzer biçimde tanımlanır. Soldan ve sağdan yutan elemanlar - olduklarında - eşittirler, çünkü eğer a soldan, b de sağdan yutansa, o zaman olur.
Matematiğin en önemli işlemlerinden biri fonksiyonların bileşke işlemidir. Eğer X bir kümeyse, Fonk(X, X), X kümesinden X kümesine giden fonksiyonlar kümesi olsun. Eğer Fonk(X, X) ise, gene X kümesinden X kümesine giden ve adına "f ile g fonksiyonlarının bileşkesi" denilen f o g fonksiyonunu şöyle tanımlayalım: Her için, (f o g)(x) = f(g(x)) olsun. Bu, Fonk(X, X) kümesi üzerine bir işlemdir. Bu işlemin birleşme özelliği vardır ama değişmeli değildir ve ayrıca etkisiz elemanı Id olarak gösterilen özdeşlik fonksiyonudur.