İkili işlem
Eğer X bir kümeyse, X \times X kümesinden X kümesine giden bir fonksiyona X kümesi üzerine ikili işlem denir. İkili işlemi f:X\times X \longrightarrow X olarak gösterirsek, f(x,y) yerine genellikle x+y, x \times y, x \star y ya da daha yaygın olarak xy yazmak bir gelenek halini almıştır. Burada önemli olan, her x, y \in X için, işlemin sonucu olan x \star y elemanının yine X kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz.