更新时间：2023-12-30 20:18
共尾的(cofinal)一种有序集.
指有序集与它的一个子集有共同的最大元.设B为有序集A的子集，若对A的所有元素a，存在一个元素bEB，使得ba用符号表示d aEAABV bEBba，则称B在A中是共尾的.这时B也是有序集.B在A中共尾与A-B在A中不同尾是等价的.