>>616
> ω+1なる列に拡張されている

「ω+1なる列」はω重シングルトンにならないだろ
ω重シングルトンは同様に書けば「ω+0なる列」