同尾

同尾的(residual)一種有序集.指有序集與其某特殊子集間的關係.設B為有序集A的子集，若對於A的某個元素a，有bbaB，則稱B在A中是同尾的.這時B在A中也是共尾的.B在A中共尾與A-B在A中不同尾是等價的。