集合论（ZFC）之 序列（Sequence）

        在集合论（ZFC）中，序列由函数 s 来表达，该函数 s 的定义域（ Dom(s) ），决定了该序列的长度（length），其值域（ Ran(s) ）决定了该序列中的每个值。

        无限序列（Infinite Sequence）为

s: ℕ → X，亦记 〈 aᵢ: i < ℕ 〉，

其中，i 是 index的缩写，表明了序列中的各元素位置，从0开始， i ∈ ℕ；序列函数 s 映射的值为 aᵢ ∈ X；那么，该序列的形态为 (a₀, a₁, ... ) 。

        有限序列（finite Sequence），其序列函数的定义域为某一自然数 n，这里要注意，自然数 n 是一个序数，是一个集合，包含了所有小于 n 的自然数，即

s: (n ∈ ℕ) → X。记为，〈 aᵢ: i < n 〉 。

        超限序列（Transfinite Sequence），其序列函数的定义域为某一序数 ω，即 

s: (ω ∈ Ordinal) → X。亦记，〈 aᵢ: i <  ω〉

        另定义在一个长度为 l 的序列 s 尾部追加一个元素 x 的操作为，即追加操作（append），

sx = s ⋃ { ( l, x) }，

其中，可见 l 为新加元素的索引值（index）。

        统一来说，由于 n ∈ ℕ、ℕ、ω 都是序数，因此，可以认为序列是定义在序数上的函数，即，

s: (α ∈ Ordinal) → X。亦记，〈 aᵢ: i <  α〉