Iloczynem kartezjańskim zbiorów i
nazywamy zbiór par uporządkowanych
, w których pierwszy wyraz
, zaś drugi wyraz
. Oznaczamy go
. Zatem:
Dla dowolnych zbiorów prawdziwe są równości:
1)
2)
Iloczyn kartezjański nie jest przemienny.
Zapraszamy do zadań! tutaj