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