olmak üzere
ise,
ifadesine sıralı ikili denir.
sıralı ikilisi için;
‘ya sıralı ikilinin birinci bileşeni,
‘ye sıralı ikilinin ikinci bileşeni denir.
dir.
ve
boş olmayan herhangi iki küme olmak üzere, birinci bileşeni
kümesinden ve ikinci bileşeni
kümesinden alınarak elde edilen tüm sıralı ikililerin oluşturduğu kümeye
ve
kümelerinin kartezyen çarpımı denir.
ve
kümelerinin kartezyen çarpımı
şeklinde gösterilir.
ve
dir.
ve
kümeleri için
ise,
dır.
ve
denk kümelerdir. Yani,
dır.
dir.
,
ve
kümeleri için,
dir.
dir.
dir.
dir.
kümesi kısaca
şeklinde gösterilir.
kümesi kısaca
şeklinde gösterilir.