To’plamlarning dekart ko’paytmasi

f: A→B akslantirish teskarilanuvchi bo’lishi uchun f ning o’zaro bir qiymatli (biektiv) bo’lishi zarur va yetarli. Bu mulohazaning isboti [1] da keltirilgan.
Ta’rif. A to‘plamning elementlarini birinchi, B to‘plamning elementlarini ikkinchi qilib tuzilgan barcha juftliklar to‘plamini A va B to‘plamlarning to‘g‘ri ko‘paytmasi yoki dekart ko‘paytmasi deb ataladi va kabi belgilanadi.
Dekart ko‘paytmasidagi juftliklar kichik qavslar ichiga yoziladi.
Masalan: A={2; 3} va B={1; 2; 4} bo‘lsa
={(2; 1), (2; 2), (2; 4), (3; 1), (3; 2), (3; 4)}.
Matematikada nafaqat ikkita elementdan tuzilgan tartiblangan juftliklar, balki uch, to‘rt va hakozo elementlardan tuzilgan tartiblangan uchlik, to‘rtlik va boshqalar ham qaraladi.Tartiblangan ifodalarni kortejlar deb ataladi. Ifodadagi elementlar soniga kortejning uzunligi deb ataladi.Demak, dekart ko‘paytmasining elementlari uzunligi ikkiga teng bo‘lgan kortejlar bo‘lar ekan. Fransuzcha kortej so‘zi tantanali yurish ma’nosini beradi.Umuman uzunlagi n ga teng bo‘lgan kortej deganda tartiblangan ( …, ) belgini tushunamiz. Kortejdagi …, elementlarga kortejning komponentlari deb ataladi. Kortejdagi birinchi elementni birinchi komponent, ikkinchi elementni ikkinchi komponent va hakozo n-chi elementni n-chi komponent deb ataladi.
Lotincha componentis–tashkil etuvchi degan ma’noni bildiradi.Uzunliklari va mos komponentlari teng bo‘lgan ikki kortejni teng deyiladi.
Masalan: (a; b; c)=(a; b; c), lekin (a; b; c)≠(a; c; b). Kortej tushunchasidan foydalanib, dekart ko‘paytma tushunchasini istalgan chekli sondagi to‘plamlar uchun kiritish mumkin.Ta’rif. Istalgan to‘plamlar berilgan bo‘lsin. Bu to‘plamlarning elementlaridan foydalanib uzunligi n ga teng va birinchi komponenti to‘plamga tegishli, ikkinchi komponenti to‘plamga tegishli va hakozo n-chi komponenti to‘plamga tegishli bo‘lgan kortejlar tuzamiz. Bunday kortejlar to‘plami to‘plamlarning dekart ko‘paytmasi deb ataladi va kabi belgilanadi.