构的乘积。拓扑空间的乘积是另一个例子。
例子.以类似的方式，我们可以谈论多于两个对象的乘积，比如 formula_18。我们甚至可以谈论无限多个对象的乘积比如 formula_19。
群直积.在群论中可以定义两个群 ("G", *) 和 ("H", o) 的直积，指示为 "G" × "H"。对于写为加法的阿贝尔群，它也可以叫做两个群的直和，指示为 formula_20。它定义为如下:(注意运算 * 可以同于 o。)这个构造给出了新群。它有