其是在序理论里，一个偏序集合 "A" 的共尾性 cf("A") 是指 "A" 的共尾子集的势中的最小者。共尾性的定义依赖于选择公理，因为它利用了所有非空的基数集合都有一个最小成员的事实。偏序集合 "A" 的共尾性亦可定义成最小的序数 "x"，使得有着值域共尾于陪域的一个从 "x" 到 "A" 的函数。第二个定义不需要选择公理也可以有意义。若假设有选择公理（此条目接下来的部分亦将如此假设），这两种定义将是等价的。共尾性也可类似地被定义在有向集合上，并且用来广义化网中的子序列概念。Section: