子集(也就是 "Y"⊂"X")。
拓扑空间直积.拓扑空间的搜集 "X" 即对于 "i" 在 "I" 中的某个索引集合的直积，再次利用了笛卡尔积定义拓扑是有些技巧的。对于有限多个因子这是明显和自然的事情: 简单的选取开集构成的基为来自每个因子的开子集的所有笛卡尔积的搜集:这个拓扑叫做乘积拓扑。例如，直接通过 R 的开集们(开区间的不交并)定义在 R 上的乘积拓扑，这个拓扑的基由在平面上的开矩形的所有不交并构成(明显的它一致于平常的度量拓扑)。无限乘积的拓扑就有些曲折了，要