Ví dụ

Tích Descartes của hai tập hợp là tập hợp của tất cả các cặp có thứ tự có thể có thành phần đầu tiên là phần tử của tập hợp thứ nhất và thành phần thứ hai là phần tử của tập hợp thứ hai.