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.