在数学中，两个集合${\displaystyle X}$和${\displaystyle Y}$的笛卡儿积（英語：Cartesian product），又称直积，在集合论中表示为${\displaystyle \,X\times Y}$，是所有可能的有序对組成的集合，其中有序對的第一个对象是${\displaystyle \,X\,}$的成员，第二个对象是${\displaystyle \,Y\,}$的成员。

${\displaystyle X\times Y=\left\{\left(x,y\right)\mid x\in X\land y\in Y\right\))$。

舉個實例，如果集合${\displaystyle \,X\,}$是13个元素的点数集合${\displaystyle \left\{A,K,Q,J,10,9,8,7,6,5,4,3,2\right\))$，而集合${\displaystyle \,Y\,}$是4个元素的花色集合${\displaystyle \{}$♠, ♥, ♦, ♣${\displaystyle \))$，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合${\displaystyle \{(A,}$♠${\displaystyle ),(K,}$♠${\displaystyle ),...,(2,}$♠${\displaystyle ),...,(A,}$♣${\displaystyle ),...,(3,}$♣${\displaystyle ),(2,}$♣${\displaystyle )\))$。

笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來。

易见笛卡儿积满足下列性质：

• 对于任意集合${\displaystyle A}$，根据定义有${\displaystyle A\times \varnothing =\varnothing \times A=\varnothing }$
• 一般来说笛卡儿积不满足交换律和结合律。
• 笛卡儿积对集合的并和交满足分配律，即

${\displaystyle A\times (B\cup C)=(A\times B)\cup (A\times C)}$

${\displaystyle (B\cup C)\times A=(B\times A)\cup (C\times A)}$

${\displaystyle A\times (B\cap C)=(A\times B)\cap (A\times C)}$

${\displaystyle (B\cap C)\times A=(B\times A)\cap (C\times A)}$

${\displaystyle (A\times B)\cap (C\times D)=(A\cap C)\times (B\cap D)}$

• 若一個集合${\displaystyle A}$包含有無限多的元素，那這個集合對自身的笛卡爾積${\displaystyle A\times A}$有和${\displaystyle A}$一樣多的元素。

集合${\displaystyle X}$的笛卡儿平方（或二元笛卡儿积）是笛卡儿积${\displaystyle X\times X}$。一个例子是二维平面${\displaystyle R\times R}$，（这里${\displaystyle R}$是实数集） - 它包含所有的点${\displaystyle (x,y)}$，这里的${\displaystyle x}$和${\displaystyle y}$是实数（参见笛卡儿坐标系）。

为了幫助枚舉，可绘制一个表格。一个集合作为行而另一个集合作为列，从行和列的集合选择元素，以形成有序对作为表的单元格。

可以推广到在${\displaystyle n}$个集合${\displaystyle X_{1},...,X_{n))$上的n-元笛卡儿积:

${\displaystyle \prod _{i=1}^{n}X_{i}:=X_{1}\times \ldots \times X_{n}:=\{(x_{1},\ldots ,x_{n})\ |\ x_{1}\in X_{1}\;\land \;\ldots \;\land \;x_{n}\in X_{n}\))$。

实际上，它可以被等同为${\displaystyle \left(X_{1}\times ...\times X_{n-1}\right)\times X_{n))$。它是n-元组的集合。

一个例子是欧几里得三维空间${\displaystyle R\times R\times R}$，这里的${\displaystyle R}$同樣是指实数集。

有限個集合可以看成某個一對一的有限集合序列 ${\displaystyle x={\{x(i)\))_{i=1}^{n))$（因為序列是種以自然数系 ${\displaystyle \mathbb {N} }$ 為定義域的函數），而 ${\displaystyle x}$ 的值域恰好是預備要依序進行笛卡儿积的所有集合，換句話說：

${\displaystyle I_{x}=\{x(1),\,x(2),\,\dots ,\,x(n)\))$

${\displaystyle \{1,\,2,\,\dots ,\,n\}\,{\overset {x}{\cong ))\,I_{x))$

這樣的話，若有函数 ${\displaystyle f:I\to \bigcup I_{g))$ 滿足：

${\displaystyle (\forall i\in I)[f(i)\in x(i)]}$

那就等價於

${\displaystyle (f(1),\,f(2),\,\dots ,\,f(n))\in \prod _{i=1}^{n}x(i)}$

換句話說，函数 ${\displaystyle f}$ 可以看做 ${\displaystyle \prod _{i=1}^{n}x(i)}$ 裡的一個n-元组，而這就是以下無窮乘積定義的直觀動機：

在无限情况，一個令人熟悉的特例是，當索引集合是自然数集${\displaystyle \mathbb {N} ,}$的时候：这正是其中第i项对应于集合${\displaystyle X_{i))$的所有无限序列的集合。再次，${\displaystyle \mathbb {R} }$提供了这样的一个例子：

${\displaystyle \prod _{n=1}^{\infty }\mathbb {R} =\mathbb {R} ^{\omega }=\mathbb {R} \times \mathbb {R} \times \ldots }$

是实数的无限序列的搜集，可視之为带有無限個构件的向量或元组。另一个特殊情况（上述例子也满足它）是在乘积中的各因子X_i都是相同的时候，类似于“笛卡儿指数”。這樣，在最先定义中的无限并集自身就是这个集合自身，而其他条件被平凡的满足了，所以这正是从I到X的所有函数的集合。

在別的情況，无限笛卡儿积就不那麼直觀了；尽管在高等数学中的應用有其价值。

“非空集合的任意非空搜集的笛卡儿积为非空”這一陳述等价于选择公理。

如果${\displaystyle f}$是从${\displaystyle A}$到${\displaystyle B}$的函数，而${\displaystyle g}$是从${\displaystyle X}$到${\displaystyle Y}$的函数，则它们的笛卡儿积${\displaystyle f\times g}$是从${\displaystyle A\times X}$到${\displaystyle B\times Y}$的函数，带有

${\displaystyle (f\times g)(a,x)=(f(a),g(x))}$

跟之前類似，函数的笛卡儿积也可以扩展到函数的元组和无限情況。

• 有序对
• 幂集公理
• 二元关系
• 笛卡儿
• 乘积拓扑
• 乘积 (范畴论)
• 拉回 (范畴论)

• Cartesian Product at ProvenMath （页面存档备份，存于互联网档案馆）
• Hazewinkel, Michiel (编), Direct product, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 

查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 德摩根定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数（大基数） 类 可构造全集（英语：Constructible universe） 连续统假设 對角論證法 元素 有序对 多元组 集合族 力迫 一一对应 序数 超限归纳法 文氏图 集合类型 可數集 空集 有限集合（继承有限集合） 模糊集 无限集合 递归集合 子集 传递集合 不可數集 泛集（英语：Universal set） 理论 可替代的集合论 集合论 朴素集合论 康托尔定理 策梅洛 广义（英语：General set theory） 《数学原理》 新基础 策梅洛-弗兰克 冯诺伊曼-博内斯-哥德尔 Morse–Kelley（英语：Morse–Kelley set theory） 克里普克–普拉特克（英语：Kripke–Platek set theory） 塔斯基–格罗滕迪克（英语：Tarski–Grothendieck set theory） 悖论（英语：Paradoxes of set theory） 问题 罗素悖论 蘇斯林問題 ZFC系統無法確定的命題列表 集合論者 亚伯拉罕·弗兰克尔 伯特兰·罗素 恩斯特·策梅洛 格奥尔格·康托尔 约翰·冯·诺伊曼 库尔特·哥德尔 盧菲特·澤德 保罗·贝尔奈斯（英语：Paul Bernays） 保罗·寇恩 理查德·戴德金 托马什·耶赫 威拉德·蒯因