关于序数共尾的非对称性

下面,关于序数共尾的定义和性质(A),(B)都是〔1〕里给出的。 定义 设α是一个非零极限序数,λ也是序数,如果存在保序映射φ:W_α→W_λ,使(1) λ=sup〈φ(ξ)|ξ<a〉 则说λ关于α共尾(原文是“λ is cofinal with α”)·这里,记号W_η表示序数集〈ξ| ξ<η〉·