>>783の降鎖の定義（松坂和夫）
「順序集合Aの元の列(a_n)n∈Nで、
　a_1>a_2>…＞a_n>…
　となるものをAにおける降鎖という」
により
…>2>1>0
は降鎖ではない
なぜなら、a_1にあたる項がないからである

また
ω･･･>2>1>0
で、上記の列に全ての自然数が現れる場合
同じく降鎖ではない
なぜなら、a_2にあたる項がないからである

ω>ｎ>…>2>1>0
は降下列であり、その長さは有限である