>>8

同様に、S に値を取る無限列とは、自然数全体のなす集合 N ={1,2,3,・・・ }から S への写像
a： N → S
である。
（有限または無限）列a に対し、自然数i の写像a による像 a(i) は添字記法にしたがって ai などと記されるのが通例である。

列a はその項を明示して(a1, a2, ...)のように表記される事もある。また簡単に (an) 、(an)n と記す方法もしばしば用いられる。添字i が動く範囲を明示するために や (ai)i=1,2,...,n, (an)n∈N, (an | n ∈ N) などのように記すこともある。

慣習的に {an} と書くことも多いが、列の項からなる集合 {x | ∃n(x = an)} = {an | n ∈ N}を表す意図で同じ記号がしばしば用いられるため注意を要する。

例えば解析学においては習慣的に {an} が集合 A 上の点列であることを {an}⊂A と書く。
有限列 (x1, x2, ..., xn) のことをその項数 n に対して n-組 (tuple) と呼ぶことがある。有限列のなかには、何の項も含まない空の列 (null or empty sequence) ( ) も含める。また、整数全体のなす集合からある集合への写像を
(..., a-2, a-1, a0, a1, a2, ...)
のように書いて、両側無限列あるいは双方向無限列 (doubly or bi-infinite sequence) と呼ぶ。 これは、負の整数で添字付けられた列を正の整数で添字付けられた列に接いだものと考えることができることによる名称である。

つづく