$ A \neq \empty $ bir küme olsun. $ A\times A $'dan $ A $'ya tanımlanan bir fonksiyon'a (dönüşüme) $ A $'da bir ikili işlem veya kısaca işlem denir.
