42"索引的集合的搜集，则我们定义就是定义在索引集合上的所有函数的集合，使得这些函数在特定索引formula_46上的值是formula_47的元素。对在formula_42中每个formula_49，定义自的函数叫做第formula_49投影映射。"n"-元组可以被看作在formula_53上的函数，它在formula_46上的值是这个元组的第"formula_46"个元素。所以，在"formula_42"是formula_53的时候，这个定义跟有限情况的定义是一致的。在无限情况下这个定义