全序关系(Total Order)与偏序关系

偏序只对部分元素成立关系R，全序对集合中任意两个元素都有关系R。
例如：
集合的包含关系就是半序，也就是偏序，因为两个集合可以互不包含；
而实数中的大小关系是全序，两个实数必有一个大于等于另一个；
又如：复数中的大小就是半序，虚数不能比较大小。