笛卡尔积

笛卡尔积回答“每个坐标各选一个，全部可能组合是什么”。把 $A$ 写成行标签、$B$ 写成列标签，$A\times B$ 就是整张表的格子。它与并集的任务不同：$A\cup B$ 的一个元素只来自某一边，$A\times B$ 的一个元素同时携带两边的信息，并保留各自位置。

这幅坐标图像来自解析几何。平面以 $\mathbb{R}\times \mathbb{R}$ 为载体，曲线再作为其中满足方程的子集出现。相同做法也适用于状态空间、参数空间和数据库记录：积先列出类型正确的全部候选，额外条件再从中筛出可行对象。

设 $C$ 是课程集合，$R$ 是教室集合。$C\times R$ 包含所有“课程—教室”配对；容量、设备和时间冲突等约束确定一个可行子集 $F\subseteq C\times R$。积只保证第一坐标确为课程、第二坐标确为教室，不会自动满足这些业务约束。若误写成 $C\cup R$，一条记录将只剩课程或教室，配对信息随即消失。

若 $A=\varnothing$ 或 $B=\varnothing$，则 $A\times B=\varnothing$，因为不存在满足两个坐标条件的有序对。反过来，对二元积而言，两个因子都非空便可各取一个元素，从而积非空。把这句话推广到任意集合族就跨过了公理边界：所有 $A_i$ 非空是否必有 $\prod _i{A}_i\ne \varnothing$，在 ZF 上等价于选择公理公理库选择公理Axiom of choice · AC把任意集合族中逐个存在的元素同时汇成一个选择函数的公理。。

次序和括号也不能按集合相等随意擦去。一般 $A\times B\ne B\times A$，但 $(a,b)\mapsto (b,a)$ 给出自然双射；同样，$((a,b),c)$ 与 $(a,(b,c))$ 是不同对象，却可经平坦化对应到同一个三元组。因而积在“自然同构”意义下交换、结合，不是字面相等。

二元关系公理库关系Relation · Binary relation带源集与目标集的二元关系，其底层关系图是 A×B 的子集。以 $A\times B$ 的子集为图，函数公理库函数Function · Map · Mapping由定义域、陪域和单值图共同组成，并把每个输入送到唯一输出的映射。再要求每个 $a\in A$ 恰与一个 $b\in B$ 配对。关系与函数由此共享同一载体，差别落在子集满足的约束上。

若 $A,B$ 有限，则

这就是乘法原理的集合形式；基数算术公理库基数算术Cardinal arithmetic用不交并、笛卡尔积和函数集定义基数的加法、乘法与指数运算。把同一定义延伸到无限集合。拓扑、代数和概率论还会在积集合上添加乘积拓扑、逐坐标运算或乘积测度。底层写成积只描述可能的元组，既不自动赋予坐标独立性，也不规定可见性或计算成本。