离散数学 积代数 定义 已知 代数 $(A,\sum_{A})$ 代数 $\left( B,\sum_B \right)$ 则 $A\times B$ 按 笛卡尔积 定义 $\sum_{A\times B}:(A\times B)^{n} \to A\times B$ $\left( A\times B,\sum_{A\times B} \right)$ 是两者的积代数，反之叫因子代数 性质 投影函数 $\pi_{A}:(a,b) \to a$ 和 $\pi_{B}:(a,b) \to b$ 是积代数的同态