ところで、すべての数が複素数からなる数列を複素数列、すべての数が有理数からなる数列を有理数列と言います。したような、無限次元空間となっています。写像全体の集合と積集合の関係を集合とします。写像全体の集合というものを考えます。◆Def.SetTop.2.9.5.です。した場合を考えてみましょう。等しいことから、となります。したがってこの条件は最初からないものとしても同値であり、すなわち、となります。同一視して書く流儀もあります。積集合として見た場合のものと同一視できるのです。(よって同じ記号を流用して構わないことになっています)説明しましょう。