Tanım: X ve Y iki küme olsun. X ve Y'nin  X × Y  ile gösterilen çarpımı x ∈  X ve y ∈  Y  olmak üzere olası tüm (x,y) ikililerinin kümesidir. Yani, X × Y = {(x, y)| x ∈ Y and y ∈ Y }  kümesidir. 

Dönüşümler ve Fonksiyonlar

Tanım: X ve Y'nin küme olduklarını varsayalım. X'den Y'ye bir fonksiyon ya da dönüşüm, kümelerin elemanları arasındaki bir bağdır. X'in her elemanı için Y'nin bir tek elemanı vardır.