共尾性

在數學裏 ， 尤其是在序理論裏 ， 一個偏序集合 A 的共尾性 cf ( A ) 是指 A 的共尾子集的勢中的最小者 。 共尾性的定義依賴於選擇公理 ， 因爲它利用了所有非空的基數集合都有一個最小成員的事實 。 偏序集合 A 的共尾性亦可定義成最小的序數 x ， 使得有着值域共尾於陪域的一個從 x 到 A 的函數 。 第二個定義不需要選擇公理也可以有意義 。 若假設有選擇公理 （ 此條目接下來的部分亦將如此假設 ） ， 這兩種定義將是等價的 。 共尾性也可類似地被定義在有向集合上 ， 並且用來廣義化網中的子序列概念 。