Tích_Descartes

Trong toán học, đặc biệt là trong lý thuyết tập hợp, tích Descartes (hay tích Đềcác) của hai tập hợp A và B, ký hiệu là A×B, là một tập hợp chứa tất cả các bộ có dạng (a, b) với a là một phần tử của A và b là một phần tử của B. Hay, viết trong ngôn ngữ của lý thuyết tập hợp:Ví dụ, nếu:thì:và:Như vậy tích Descartes của 2 tập hợp là một phép toán 2 ngôi trên các tập hợp. Có thể mở rộng định nghĩa tích Descartes của nhiều tập hợp A1×A2×...×An là tập hợp chứa tất cả các bộ có dạng (a1,a2,...,an) với ai là một phần tử của Ai (i = 1, 2,..., n). Hay, viết trong ngôn ngữ của lý thuyết tập hợp: