共尾的(cofinal)一種有序集.指有序集與它的一個子集有共同的最大元.設B為有序集A的子集，若對A的所有元素a，存在一個元素bEB，使得b)a[用符號表示(d aEA<A}BV <} bEB<b)a))))」，則稱B在A中是共尾的.這時B也是有序集.B在A中共尾與A-B在A中不同尾是等價的.
共尾的(cofinal)一種有序集.指有序集與它的一個子集有共同的最大元.設B為有序集A的子集，若對A的所有元素a，存在一個元素bEB，使得ba用符號表示d aEAABV bEBba，則稱B在A中是共尾的.這時B也是有...
是共尾函式}。顯然cf(β)≤β。引理3 設β是極限序數，則存在嚴格增的共尾函式：f：cf(β)→β。證明: 設g：cf(β)→β是任意的共尾函式。定義：f(η)=max{g(η)，}，η∈cf(β)．易知f：cf(β)→β是嚴格增的共尾...
共尾度是公理集合論術語，指良序集或線性序集的一個無界子集的序型。設〈A，R〉是線性序集，且B⊆A，如果ᗄx∈A(x∈B∨∃ y(xRy))，則稱B為A的共尾子集(通常稱為A的無界子集)。對於包含一個可良序化的共尾子集的...
共尾序數序列是數學術語。共尾的序數序列(cofinal ordinal sequences )一類特殊的序數數列.設a,月都是極限序數，a 0,若序數的遞增月序列axx+-ax`d (lEord)八GR滿足 則它們稱為在a內共尾.或稱為共尾於a.例如，所有嚴格遞增的...
共尾函子(final functor)是代數K理論中定義纖維範疇時用到的一類重要函子。它是一類特殊的保積函子。設(C，⊥)，(D，⊥)為帶積範疇，F：C→D為保積函子。若F(C)為D的共尾子範疇(即對任意A∈D，必有A′∈D與B∈C使得A...