>>320
>一般化された列は添字集合として順序数もあり得るから、直前の元持たなくていいんだけどね
>>294の定義は一般化された列じゃないので却下。