同尾的(residual)一种有序集.指有序集与其某特殊子集间的关系.设B为有序集A的子集，若对于A的某个元素a，有{b}b}a}}B，则称B在A中是同尾的.这时B在A中也是共尾的.B在A中共尾与A-B在A中不同尾是等价的.